Stage comparison, fixed points, and least fixed points in Kripke-Platek environments

DOI10.1215/00294527-2022-0025OpenAlexW4311896049MaRDI QIDQ2108575FDOQ2108575

Authors: Yanyan Li 

Publication date: 19 December 2022

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://projecteuclid.org/journals/notre-dame-journal-of-formal-logic/volume-63/issue-4/Stage-Comparison-Fixed-Points-and-Least-Fixed-Points-in-KripkePlatek/10.1215/00294527-2022-0025.full

Recommendations

• ABOUT SOME FIXED POINT AXIOMS AND RELATED PRINCIPLES IN KRIPKE–PLATEK ENVIRONMENTS
• From mathesis universalis to fixed points and related set-theoretic concepts
• Publication:4936675
• Fixed-points of Set-continuous Operators
• On the relationship between fixed points and iteration in admissible set theory without foundation

zbMATH Keywords

Kripke-Platek set theoryfixed points and least fixed points of monotone operatorsstage comparison theorem

Mathematics Subject Classification ID

Proof theory in general (including proof-theoretic semantics) (03F03) Axiomatics of classical set theory and its fragments (03E30) Inductive definability (03D70)

Cites Work

• Elementary induction on abstract structures
• Title not available (Why is that?)
• A new model construction by making a detour via intuitionistic theories. I: Operational set theory without choice is \(\Pi_1\)-equivalent to KP
• From mathesis universalis to fixed points and related set-theoretic concepts
• Full and hat inductive definitions are equivalent in NBG
• ABOUT SOME FIXED POINT AXIOMS AND RELATED PRINCIPLES IN KRIPKE–PLATEK ENVIRONMENTS

Cited In (1)

• ABOUT SOME FIXED POINT AXIOMS AND RELATED PRINCIPLES IN KRIPKE–PLATEK ENVIRONMENTS

This page was built for publication: Stage comparison, fixed points, and least fixed points in Kripke-Platek environments

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