On power set in explicit mathematics
From MaRDI portal
Publication:4894722
DOI10.2307/2275671zbMath0889.03055MaRDI QIDQ4894722
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
induction axiom; power set axiom; Feferman's explicit mathematics; subsystems of classical analysis; asymmetrical interpretations; proof-strength
03F35: Second- and higher-order arithmetic and fragments
03F50: Metamathematics of constructive systems
Related Items
Power types in explicit mathematics?, Explicit mathematics: power types and overloading, Systems of explicit mathematics with non-constructive \(\mu\)-operator and join, 2000 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium 2000
Cites Work