scientific article; zbMATH DE number 6536275

zbMATH Open1358.03022MaRDI QIDQ3464624FDOQ3464624

Authors: Michael Rathjen 

Publication date: 27 January 2016

Title of this publication is not available (Why is that?)

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

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)

Cited In (21)

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

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)