Power types in explicit mathematics?

DOI10.2307/2275630MaRDI QIDQ4382463zbMATH OpenOpenAlexFDO

Authors Gerhard Jäger

Publication date 20 July 1998

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

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

zbMATH Keywords

explicit mathematicsstrong power type axiomelementary comprehension

Mathematics Subject Classification ID

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

Recommendations

• On power set in explicit mathematics
• Uniform inseparability in explicit mathematics
• Explicit mathematics: power types and overloading
• Universes in explicit mathematics

Cites work

• On power set in explicit mathematics

Cited in

(8)

• 2000 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium 2000. La Sorbonne, Paris, France, July 23-31, 2000
• The operational penumbra: some ontological aspects
• Explicit mathematics and operational set theory: some ontological comparisons
• Explicit mathematics: power types and overloading
• About Truth and Types
• Truth and the philosophy of mathematics
• THE UNIVERSAL SET AND DIAGONALIZATION IN FREGE STRUCTURES
• What is so special with the powerset operation?

This page was built for publication: Power types in explicit mathematics?

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