On the relationship between fixed points and iteration in admissible set theory without foundation

DOI10.1007/S00153-004-0251-1MaRDI QIDQ2486984zbMATH OpenOpenAlexFDO

Authors D. Probst

Publication date 17 August 2005

Published in Archive for Mathematical Logic (Search for Journal in Brave)

Full work available at URL https://boris.unibe.ch/118090/1/153_2004_Article_251.pdf

zbMATH Keywords

fixed pointsiterationadmissible setsproof-theoretic ordinalpseudo-hierarchiesmetapredicative Mahlo ordinalsubsystems of set theory without foundation

Mathematics Subject Classification ID

Nonclassical and second-order set theories (03E70) Second- and higher-order arithmetic and fragments (03F35) Recursive ordinals and ordinal notations (03F15)

Recommendations

• scientific article; zbMATH DE number 2152230
• The strength of admissibility without foundation
• scientific article; zbMATH DE number 1420857
• The proof-theoretic analysis of transfinitely iterated fixed point theories
• ABOUT SOME FIXED POINT AXIOMS AND RELATED PRINCIPLES IN KRIPKE–PLATEK ENVIRONMENTS

Cites work

• scientific article; zbMATH DE number 4039890 (Why is no real title available?)
• scientific article; zbMATH DE number 3494394 (Why is no real title available?)
• scientific article; zbMATH DE number 3572133 (Why is no real title available?)
• scientific article; zbMATH DE number 2152230 (Why is no real title available?)
• On the relationship between ATR₀ and
• Proof theory. An introduction
• Subsystems of second order arithmetic
• The proof-theoretic analysis of \(\Sigma_{1}^{1}\) transfinite dependent choice
• The proof-theoretic analysis of transfinitely iterated fixed point theories
• The strength of admissibility without foundation
• Upper bounds for metapredicative Mahlo in explicit mathematics and admissible set theory
• Variation on a theme of Schütte
• Wellordering proofs for metapredicative Mahlo

Cited in

(7)

• scientific article; zbMATH DE number 4181325 (Why is no real title available?)
• The strength of admissibility without foundation
• scientific article; zbMATH DE number 2152230 (Why is no real title available?)
• Stage comparison, fixed points, and least fixed points in Kripke-Platek environments
• Fixed-points of Set-continuous Operators
• On non-wellfounded sets as fixed points of substitutions
• scientific article; zbMATH DE number 1420857 (Why is no real title available?)

This page was built for publication: On the relationship between fixed points and iteration in admissible set theory without foundation

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