Categoricity in _1 of sentences in L__1(Q)

DOI10.1007/BF02757882MaRDI QIDQ1224580zbMATH OpenFDO

Authors S. Shelah

Publication date 1975

Published in Israel Journal of Mathematics (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/BF02757882

Mathematics Subject Classification ID

Categoricity and completeness of theories (03C35) Model-theoretic algebra (03C60) Other infinitary logic (03C75) Logic with extra quantifiers and operators (03C80) Model theory (03C99)

Cites work

• A minimal prime model with an infinite set of indiscernibles
• Categoricity in Power
• Finite diagrams stable in power
• Generalized Quantifiers and Compact Logic
• scientific article; zbMATH DE number 3120162 (Why is no real title available?)
• scientific article; zbMATH DE number 3496142 (Why is no real title available?)
• scientific article; zbMATH DE number 3351573 (Why is no real title available?)
• Logic with the quantifier “there exist uncountably many”
• Model theory for infinitary logic. Logic with countable conjunctions and finite quantifiers
• Stability, the f.c.p., and superstability; model theoretic properties of formulas in first order theory
• The fine structure of the constructible hierarchy
• The number of countable models
• The number of non-isomorphic models of an unstable first-order theory
• Αll ℵ_1-dense sets of reals can be isomorphic

Cited in

(32)

• The number of subdirectly irreducible algebras in a variety. II
• Categoricity for abstract classes with amalgamation
• Ranks and pregeometries in finite diagrams
• Good frames in the Hart-Shelah example
• Shelah's eventual categoricity conjecture in universal classes. I.
• Simplicity and uncountable categoricity in excellent classes
• Uncountable categoricity of local abstract elementary classes with amalgamation
• Categoricity in abstract elementary classes with no maximal models
• Abstract elementary classes stable in \(\aleph_{0}\)
• Canonical forking in AECs
• Three red herrings around Vaught's conjecture
• Forking and superstability in tame AECs
• CATEGORICITY FROM ONE SUCCESSOR CARDINAL IN TAME ABSTRACT ELEMENTARY CLASSES
• Almost Galois \(\omega\)-stable classes
• A complete L_ω1ω-sentence characterizing ℵ₁
• An inelastic model with indiscernibles
• Prime and atomic models
• HENKIN CONSTRUCTIONS OF MODELS WITH SIZE CONTINUUM
• The number of atomic models of uncountable theories
• UNIVERSAL CLASSES NEAR ${\aleph _1}$
• Notes on Quasiminimality and Excellence
• Superstability from categoricity in abstract elementary classes
• Canonical bases in excellent classes
• INTERPRETING GROUPS AND FIELDS IN SOME NONELEMENTARY CLASSES
• On universal locally finite groups
• When does _1-categoricity imply -stability?
• Categoricity and amalgamation for AEC, and measurable
• An NIP-like notion in abstract elementary classes
• Building models in small cardinals in local abstract elementary classes
• 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}\)
• Classification theory for non-elementary classes. I: The number of uncountable models of \(\psi \in L_{\omega _ 1,\omega}\)
• Iterated elementary embeddings and the model theory of infinitary logic

This page was built for publication: Categoricity in \(\aleph_1\) of sentences in \(L_{\omega_1\omega}(Q)\)

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1224580)