scientific article; zbMATH DE number 1420857
From MaRDI portal
Publication:4944925
autonomity in iterated fixed point theoriesautonomous generation of transfinite hierarchies of fixed points of positive arithmetic operatorsfixed point transfinite recursioniterated inaccessibilityKripke Platek set theory without foundationmetapredicative proof theorytransfinitely iterated fixed point theories
Recommendations
- The proof-theoretic analysis of transfinitely iterated fixed point theories
- Fixed point theories and dependent choice
- The proof-theoretic analysis of transfinitely iterated quasi least fixed points
- Autonomous progression and transfinite iteration of self-applicable truth
- On the relationship between fixed points and iteration in admissible set theory without foundation
Cited in
(16)- Some results on cut-elimination, provable well-orderings, induction and reflection
- The proof-theoretic analysis of \(\Sigma_{1}^{1}\) transfinite dependent choice
- Universes over Frege structures
- Truth and the philosophy of mathematics
- Full and hat inductive definitions are equivalent in NBG
- On the relationship between fixed points and iteration in admissible set theory without foundation
- Relative predicativity and dependent recursion in second-order set theory and higher-order theories
- Autonomous progression and transfinite iteration of self-applicable truth
- Pointwise transfinite induction and a miniaturized predicativity
- From mathesis universalis to fixed points and related set-theoretic concepts
- The proof-theoretic analysis of transfinitely iterated quasi least fixed points
- The proof-theoretic analysis of transfinitely iterated fixed point theories
- Intuitionistic Fixed Point Theories for Strictly Positive Operators
- Having a Look Again at Some Theories ofProof-Theoretic Strengths around $$ \varGamma_{0} $$
- Transfinite recursion and computation in the iterative conception of set
- Truth in applicative theories
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 Q4944925)
