On power set in explicit mathematics

DOI10.2307/2275671zbMATH0889.03055OpenAlexW2140995860MaRDI QIDQ4894722FDOQ4894722

Authors 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

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

Recommendations

• Power types in explicit mathematics?
• Universes in explicit mathematics
• Constructive Zermelo-Fraenkel Set Theory, Power Set, and the Calculus of Constructions
• scientific article; zbMATH DE number 1390282

Cites work

• scientific article; zbMATH DE number 4039890 (Why is no real title available?)
• Iterated inductive definitions and subsystems of analysis: recent proof-theoretical studies
• Monotone inductive definitions in a constructive theory of functions and classes
• The strength of some Martin-Löf type theories

Cited in

(16)

• 2000 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium 2000. La Sorbonne, Paris, France, July 23-31, 2000
• Power types in explicit mathematics?
• Explicit mathematics: power types and overloading
• About Truth and Types
• Ordinal analysis of intuitionistic power and exponentiation Kripke Platek set theory
• Power-like models of set theory
• Truth and the philosophy of mathematics
• The powerset operator on abstract interpretations
• scientific article; zbMATH DE number 3341015 (Why is no real title available?)
• Forcing in intuitionistic systems without power-set
• Systems of explicit mathematics with non-constructive \(\mu\)-operator and join
• THE UNIVERSAL SET AND DIAGONALIZATION IN FREGE STRUCTURES
• scientific article; zbMATH DE number 4217492 (Why is no real title available?)
• Reflections on reflections in explicit mathematics
• Axiom of power set in \(L^{\mathrm{re}}\)
• What is so special with the powerset operation?

This page was built for publication: On power set in explicit mathematics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4894722)