Metamathematical properties of a constructive multi-typed theory
From MaRDI portal
Publication:2363505
DOI10.1007/s11225-016-9701-0zbMath1417.03298OpenAlexW2588728518MaRDI QIDQ2363505
Publication date: 19 July 2017
Published in: Studia Logica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s11225-016-9701-0
constructive mathematicstruth predicatedisjunction propertysecond-order arithmeticexistence propertyequiconsistencypredicative comprehension
Other constructive mathematics (03F65) Second- and higher-order arithmetic and fragments (03F35) Metamathematics of constructive systems (03F50) Intuitionistic mathematics (03F55)
Cites Work
- Interpretation of constructive multi-typed theory in the theory of arithmetical truth
- Proof-theoretical analysis: Weak systems of functions and classes
- Realizability and Existence Property of a Constructive Set Theory with Types
- Some relations between classical and constructive mathematics
- A type-free Gödel interpretation
- The consistency of classical set theory relative to a set theory with intu1tionistic logic
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item