A NOTE ON THEORIES FOR QUASI-INDUCTIVE DEFINITIONS
From MaRDI portal
(Redirected from Publication:5850984)
Recommendations
- A note on multiple inductive definitions
- A finite axiomatisation of inductive-inductive definitions
- On the inductive definition with quantifiers of second order
- scientific article; zbMATH DE number 1342277
- On the complexity of inductive definitions
- Inductive definitions over finite structures
- A Proof-Theoretic Analysis of Theories for Stratified Inductive Definitions
- scientific article; zbMATH DE number 922631
- A logic of nonmonotone inductive definitions
- scientific article; zbMATH DE number 2247249
Cites work
- Extending the system T\(_0\) of explicit mathematics: The limit and Mahlo axioms
- First order theories for nonmonotone inductive definitions: Recursively inaccessible and Mahlo
- scientific article; zbMATH DE number 795569 (Why is no real title available?)
- Infinite time Turing machines
- Iterated inductive definitions and subsystems of analysis: recent proof-theoretical studies
- Logical frameworks for truth and abstraction. An axiomatic study
- On Gupta-Belnap revision theories of truth, Kripkean fixed points and the next stable set
- On revision operators
- Revision sequences and computers with an infinite amount of time
- The truth is never simple
- Weak systems of determinacy and arithmetical quasi-inductive definitions
Cited in
(1)
This page was built for publication: A NOTE ON THEORIES FOR QUASI-INDUCTIVE DEFINITIONS
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5850984)
