Classification theory through stationary logic

DOI10.1016/S0168-0072(99)00019-6MaRDI QIDQ1964144zbMATH OpenOpenAlexFDO

Authors Fred Appenzeller

Publication date 19 November 2000

Published in Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/s0168-0072(99)00019-6

zbMATH Keywords

classification theorystable theorystationary logic

Mathematics Subject Classification ID

Classification theory, stability, and related concepts in model theory (03C45) Set-theoretic model theory (03C55)

Review text

The author generalizes concepts from classification theory for first-order logic to stationary logic. He investigates the class of \(\aleph_\varepsilon\)-saturated models in the sense of stationary logic. Roughly speaking, the author shows that if the class of all \(\aleph_\varepsilon\)-saturated models of a theory is not classifiable in the sense of Shelah, then it is not \(L_{\infty, \aleph_0} \)-determinate.

Recommendations

• Classification Theory and Stationary Logic
• scientific article; zbMATH DE number 1163944
• scientific article; zbMATH DE number 4118345
• scientific article; zbMATH DE number 3941517
• Around classification theory of models

Cites work

• A survey of basic stability theory, with particular emphasis on orthogonality and regular types
• An exposition of Shelah's 'main gap': counting uncountable models of \(\omega\)-stable and superstable theories
• Classification of first order theories which have a structure theorem
• Classification Theory and Stationary Logic
• Classification theory and the number of non-isomorphic models
• Classification theory and the number of non-isomorphic models.
• Countable approximations and Löwenheim-Skolem theorems
• Generalized Quantifiers and Compact Logic
• scientific article; zbMATH DE number 3933024 (Why is no real title available?)
• scientific article; zbMATH DE number 4068845 (Why is no real title available?)
• scientific article; zbMATH DE number 4081522 (Why is no real title available?)
• scientific article; zbMATH DE number 43764 (Why is no real title available?)
• scientific article; zbMATH DE number 3627183 (Why is no real title available?)
• scientific article; zbMATH DE number 4118345 (Why is no real title available?)
• Number of strongly \(\aleph _{\epsilon}\)-saturated models - an addition
• Some combinatorial problems concerning uncountable cardinals
• Stationary logic
• Stationary logic of finitely determinate structures
• The number of uncountable models of -stable theories

Cited in

(7)

• Classification theory over a predicate. I
• Around classification theory of models
• Classifiable theories without finitary invariants
• More on monadic logic. Part D: A note on addition of theories
• Classification Theory and Stationary Logic
• scientific article; zbMATH DE number 1163944 (Why is no real title available?)
• scientific article; zbMATH DE number 4118345 (Why is no real title available?)

This page was built for publication: Classification theory through stationary logic

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