Categoricity in Power
From MaRDI portal
Publication:5529481
DOI10.2307/1994188zbMath0151.01101OpenAlexW4240073310WikidataQ55878721 ScholiaQ55878721MaRDI QIDQ5529481
Publication date: 1965
Full work available at URL: https://doi.org/10.2307/1994188
Related Items
IN MEMORIAM: MICHAEL MORLEY, 1930–2020, On the computability-theoretic complexity of trivial, strongly minimal models, Atomic saturation of reduced powers, Is Logic Relevant to Classifications?, Large cardinal axioms from tameness in AECs, Building prime models in fully good abstract elementary classes, Products of classes of finite structures, Categoricity and universal classes, Recursive functions and existentially closed structures, Characterizations of monadic NIP, Divisible multiplicative groups of fields, Independence in Model Theory, Book Review: The birth of model theory: Löwenheim’s theory in the frame of the theory of relatives, Book Review: Simple groups of finite Morley rank, Model Theory in Algebra, Analysis and Arithmetic: A Preface, On Solvable Groups of Finite Morley Rank, HOMOTOPY MODEL THEORY, Shelah's eventual categoricity conjecture in universal classes. I., Bjarni Jónsson's contributions in algebra, On countable stable structures which are homogeneous for a finite relational language, Recursive categoricity and recursive stability, Categoricity and generalized model completeness, Uncountable categoricity for gross models, Properties of m-types in stable theories, Saturation and solvability in abstract elementary classes with amalgamation, Two applications of topology to model theory, Topologies and ranks for families of theories in various languages, On the structure of stable groups, Solvable groups of finite Morley rank, Definable envelopes in groups having a simple theory, Constrained extensions of differential fields, \(P\)-stable abelian groups, An automorphism group of an ω-stable structure that is not locally (OB), A non-two-cardinal set of stable types, Numerations of saturated and homogeneous models, Plain para primal algebras, An essay on model theory, Zariski geometries, Example of an \(omega_ 1-\)categorical complete finitely axiomatizable theory, Theories with a two-cardinal formula, Rank functions in stable theories, Categoricity of theories in \(L_{\kappa \omega}\), with \(\kappa\) a compact cardinal, Full Continuous Embeddings of Toposes, A remark on a paper by Abian, The number of non-isomorphic denumerable models of certain universal Horn classes, Model-theoretic properties of free, projective, and flat \(S\)-acts, Varieties with few subalgebras of powers, Locally finite weakly minimal theories, Stability and omitting types, Unnamed Item, Strong stability of an optimal control hybrid system in fed-batch fermentation, Distanced graphs, Shelah's eventual categoricity conjecture in universal classes. II, A new strongly minimal set, Algebras for definable families of theories, Generalized stability of torsion-free abelian groups, O-stable theories, The transcendental rank of the formulas of an \(\aleph_1\)-categorical theory, Models of complete theories, The differential closure of a differential field, Differentially closed fields, Truth and entailment for a vague quantifier, On theories with Ehrenfeucht's property, Categoricity in power and nonbicardinality of a formula of finite rank, Categoricity in \(\aleph_1\) of sentences in \(L_{\omega_1\omega}(Q)\), Ranks and definability in superstable theories, On almost categorical theories, A two cardinal theorem for sets of formulas in a stable theory, The description of categorical quasivarieties, Ranks for families of permutation theories, Ranks for families of theories of abelian groups, The fine spectrum of a variety, Categoricity in abstract elementary classes with no maximal models, Minimal stable types in Banach spaces, The model theory of differential fields revisited, Complete theories with 1-cardinal formulas, Three red herrings around Vaught’s conjecture, Refuting Ehrenfeucht conjecture on rigid models, \(\aleph_0\)-categoricity and stability of rings, Totally categorical groups and rings, A strong base of elementary types of theories, Relative categoricity in abelian groups. II, On the number of homogeneous models of a given power, Some model theoretic results for \(\omega\)-logic, Countable models of \(\aleph_ 1\)-categorical theories, A.D. Taimanov and model theory in Kazakhstan, The theory of models of bilinear mappings, Stable theories, Categoricity over P for first order T or categoricity for \(\phi\) \(\in {\mathcal L}_{\omega_ 1\omega}\) can stop at \(\aleph_ k\) while holding for \(\aleph_ 0,\dots ,\aleph_{k-1}\), Ranks for families of theories and their spectra, On universal Horn classes categorical in some infinite power, Prime extensions and categoricity in power, The number of non-isomorphic models of an unstable first-order theory, Countable models of \(\aleph_ 1\)-categorical, but not \(\aleph_ 0\)-categorical theories, Models with countable-categorical universal theories, Problems of the theory of models, related to categoricity, On the Existence of Saturated Models of Stable Theories, Models in equational theories of unary algebras, Categoricity in nondenumerable powers and \(\aleph_1\)-homogeneous models, Definable families of theories, related calculi and ranks, Almost categorical theories, The categoricity spectrum of large abstract elementary classes, Principles for normalization of formulas, \(\aleph _0\)-categoricity of semigroups, Theorien mit relativ konstruktiblen saturierten Modellen, Rings of finite representation type and modules of finite Morley rank, Upward Morley's theorem downward, Spectrum of quasitranscendental theories, Ranks and pregeometries in finite diagrams, Forking types and rank functions in stable theories, STRONG STABILITY OF A NONLINEAR MULTI-STAGE DYNAMIC SYSTEM IN BATCH CULTURE OF GLYCEROL BIOCONVERSION TO 1,3-PROPANEDIOL, \(\aleph _ 0\)-categorical, \(\aleph _ 0\)-stable structures, Characterizing categoricity in several classes of modules, Saturated models of incomplete theories, A survey of basic stability theory, with particular emphasis on orthogonality and regular types, Classification of superstable theories by rank functions, Fundamentals of forking
Cites Work
- Models of axiomatic theories admitting automorphisms
- On theories categorical in power
- Homogeneous Universal Models.
- Homogeneous Universal Relational Systems.
- Algebraic Extensions of Relational Systems.
- Applications of the Theory of Boolean Rings to General Topology
- Boolesche Ringe mit geordneter Basis
- On the categoricity in power of elementary deductive systems and some related problems
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item