On power set in explicit mathematics

DOI10.2307/2275671zbMATH Open0889.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

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

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)

Cites Work

• The strength of some Martin-Löf type theories
• Title not available (Why is that?)
• Iterated inductive definitions and subsystems of analysis: recent proof-theoretical studies
• Monotone inductive definitions in a constructive theory of functions and classes

Cited In (16)

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

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)