A logic of abstraction related to finite constructive number classes

DOI10.1007/BF01370695zbMath0696.03033MaRDI QIDQ910401

Andrea Cantini

Publication date: 1991

Published in: Archive for Mathematical Logic (Search for Journal in Brave)

zbMATH Keywords

formal systemstransfinite inductionconstructive ordinalconstructive number classesinternal truthpredication of higher levelproof theoretic strengthtype free abstraction principles

Mathematics Subject Classification ID

Metamathematics of constructive systems (03F50)

Related Items (1)

Levels of truth

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 ID₁
• 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