Power types in explicit mathematics?

DOI10.2307/2275630zbMATH Open0893.03022OpenAlexW2126201794MaRDI QIDQ4382463FDOQ4382463

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

Recommendations

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

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)

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
• Explicit mathematics and operational set theory: some ontological comparisons
• What is so special with the powerset operation?
• Explicit mathematics: power types and overloading
• THE UNIVERSAL SET AND DIAGONALIZATION IN FREGE STRUCTURES
• The operational penumbra: some ontological aspects
• About Truth and Types
• Truth and the philosophy of mathematics

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)