ABOUT SOME FIXED POINT AXIOMS AND RELATED PRINCIPLES IN KRIPKE–PLATEK ENVIRONMENTS
DOI10.1017/JSL.2018.12zbMATH Open1469.03139OpenAlexW2886133260WikidataQ129429882 ScholiaQ129429882MaRDI QIDQ4579812FDOQ4579812
Authors: Gerhard Jäger, Silvia Steila 
Publication date: 10 August 2018
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1017/jsl.2018.12
Recommendations
- Stage comparison, fixed points, and least fixed points in Kripke-Platek environments
- scientific article; zbMATH DE number 1899816
- On some semi-constructive theories related to Kripke-Platek set theory
- Some results on Kripke models over an arbitrary fixed frame
- Note on some fixed point constructions in provability logic
- Kripke-Platek set theory and the anti-foundation axiom
- scientific article; zbMATH DE number 2242586
- AI 2005: Advances in Artificial Intelligence
- scientific article; zbMATH DE number 107665
- scientific article; zbMATH DE number 637397
Kripke-Platek set theory\(\Sigma_1\)-separation\(\Sigma_1\)-subset-bounded separationbounded proper \(\Sigma_1\)-injectionfixed-point axiomset-bounded \(\Sigma_1\)-operator
Proof theory in general (including proof-theoretic semantics) (03F03) Axiomatics of classical set theory and its fragments (03E30) Relative consistency and interpretations (03F25) Inner models, including constructibility, ordinal definability, and core models (03E45)
Cites Work
- Set theory. An introduction to independence proofs
- Elementary induction on abstract structures
- A lattice-theoretical fixpoint theorem and its applications
- Notes on the mathematical aspects of Kripke's theory of truth
- Title not available (Why is that?)
- On Feferman's operational set theory \textsf{OST}
- Zur Beweistheorie Der Kripke-Platek-Mengenlehre Über Den Natürlichen Zahlen
- Explicit mathematics with the monotone fixed point principle. II: Models
- The strength of Mac Lane set theory
- Operational set theory and small large cardinals
- Relativized ordinal analysis: the case of power Kripke-Platek set theory
- Weak systems of determinacy and arithmetical quasi-inductive definitions
- Iterated inductive definitions and subsystems of analysis: recent proof-theoretical studies
- On Tarski’s fixed point theorem
- On nonmonotone inductive definability
- Explicit mathematics with the monotone fixed point principle
- Monotone inductive definitions in explicit mathematics
Cited In (6)
- Stage comparison, fixed points, and least fixed points in Kripke-Platek environments
- From mathesis universalis to fixed points and related set-theoretic concepts
- On the relationship between fixed points and iteration in admissible set theory without foundation
- Some set-theoretic reduction principles
- Full and hat inductive definitions are equivalent in NBG
- Fixed-points of Set-continuous Operators
This page was built for publication: ABOUT SOME FIXED POINT AXIOMS AND RELATED PRINCIPLES IN KRIPKE–PLATEK ENVIRONMENTS
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4579812)
