A NOTE ON THEORIES FOR QUASI-INDUCTIVE DEFINITIONS
From MaRDI portal
Publication:5850984
DOI10.1017/S175502030909025XzbMath1191.03030MaRDI QIDQ5850984
Publication date: 21 January 2010
Published in: The Review of Symbolic Logic (Search for Journal in Brave)
03D70: Inductive definability
Cites Work
- Unnamed Item
- Iterated inductive definitions and subsystems of analysis: recent proof-theoretical studies
- Logical frameworks for truth and abstraction. An axiomatic study
- Revision Sequences and Computers with an Infinite Amount of Time
- First order theories for nonmonotone inductive definitions: recursively inaccessible and Mahlo
- On Gupta-Belnap Revision Theories of Truth, Kripkean Fixed Points, and The Next Stable Set
- Weak systems of determinacy and arithmetical quasi-inductive definitions
- On revision operators
- The truth is never simple
- Infinite time Turing machines
- Extending the system T\(_0\) of explicit mathematics: The limit and Mahlo axioms