scientific article; zbMATH DE number 6536275

MaRDI QIDQ3464624zbMATH OpenFDO

Authors Michael Rathjen

Publication date 27 January 2016

zbMATH Keywords

cut elimination\(\mathrm{RCA}_0\)well-ordering\(\omega\)-models\(\mathrm{ATR}_0\)

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) Foundations of classical theories (including reverse mathematics) (03B30) Second- and higher-order arithmetic and fragments (03F35) Recursive ordinals and ordinal notations (03F15)

Recommendations

• Well-ordering Principles, ω-models and $$ \varPi_{1}^{1} $$-comprehension
• \(\omega\)-models of finite set theory
• On characterization, definability and \(\omega \)-saturated models
• Model theory for \(L_{\infty \omega _ 1}\)
• Models with the ω-property
• Remarks on structure theorems for \(\omega_ 1\)-saturated models
• Logical Approaches to Computational Barriers
• An old friend revisited: countable models of \(\omega\)-stable theories
• scientific article; zbMATH DE number 1296809
• Expansions of models of ω-stable theories

Cited in

(22)

• Suitable extender models. II: Beyond \(\omega \)-huge
• WELL ORDERING PRINCIPLES AND -STATEMENTS: A PILOT STUDY
• Reverse mathematics and well-ordering principles: a pilot study
• Derivatives of normal functions and \(\omega \)-models
• Well-ordering principles and bar induction
• scientific article; zbMATH DE number 4043827 (Why is no real title available?)
• A categorical construction of Bachmann–Howard fixed points
• Predicative collapsing principles
• Reverse mathematics and well-ordering principles
• ?-saturated quasi-minimal models of Th(??, +,?, 0)
• Well-Ordering Principles in Proof Theory and Reverse Mathematics
• Constructing \(\omega\)-stable structures: Model completeness.
• \(\Pi_1^1\)-comprehension as a well-ordering principle
• Computable aspects of the Bachmann-Howard principle
• Well ordering principles for iterated \(\Pi^1_1\)-comprehension
• scientific article; zbMATH DE number 1848311 (Why is no real title available?)
• Omega‐ and Beta‐Models of Alternative Set Theory
• Models of \textsf{ZFA} in which every linearly ordered set can be well ordered
• Well-ordering Principles, ω-models and $$ \varPi_{1}^{1} $$-comprehension
• A model of the generic Vopěnka principle in which the ordinals are not Mahlo
• Proof-theoretic strengths of the well-ordering principles
• scientific article; zbMATH DE number 1296809 (Why is no real title available?)

This page was built for publication:

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