On power set in explicit mathematics
From MaRDI portal
Publication:4894722
DOI10.2307/2275671zbMath0889.03055OpenAlexW2140995860MaRDI 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 axiompower set axiomFeferman's explicit mathematicssubsystems of classical analysisasymmetrical interpretationsproof-strength
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