On power set in explicit mathematics

DOI10.2307/2275671zbMath0889.03055OpenAlexW2140995860MaRDI QIDQ4894722

Thomas Glaß

Publication date: 17 February 1997

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2275671

zbMATH Keywords

induction axiompower set axiomFeferman's explicit mathematicssubsystems of classical analysisasymmetrical interpretationsproof-strength

Mathematics Subject Classification ID

Second- and higher-order arithmetic and fragments (03F35) Metamathematics of constructive systems (03F50)

Related Items

2000 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium 2000 ⋮ About Truth and Types ⋮ Power types in explicit mathematics? ⋮ Explicit mathematics: power types and overloading ⋮ THE UNIVERSAL SET AND DIAGONALIZATION IN FREGE STRUCTURES ⋮ Truth and the philosophy of mathematics ⋮ Systems of explicit mathematics with non-constructive \(\mu\)-operator and join

Cites Work

• Monotone inductive definitions in a constructive theory of functions and classes
• Iterated inductive definitions and subsystems of analysis: recent proof-theoretical studies
• The strength of some Martin-Löf type theories
• Unnamed Item