A logic of abstraction related to finite constructive number classes
From MaRDI portal
Publication:910401
DOI10.1007/BF01370695zbMath0696.03033MaRDI QIDQ910401
Publication date: 1991
Published in: Archive for Mathematical Logic (Search for Journal in Brave)
formal systemstransfinite inductionconstructive ordinalconstructive number classesinternal truthpredication of higher levelproof theoretic strengthtype free abstraction principles
Related Items (1)
Cites Work
- The lambda calculus. Its syntax and semantics. Rev. ed.
- An axiomatic approach to self-referential truth
- Iterated inductive definitions and subsystems of analysis: recent proof-theoretical studies
- Elementary induction on abstract structures
- Natural deduction based set theories: a new resolution of the old paradoxes
- A theory of formal truth arithmetically equivalent to ID1
- Toward useful type-free theories. I
- A theory of properties
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: A logic of abstraction related to finite constructive number classes