Power types in explicit mathematics?
From MaRDI portal
Publication:4382463
DOI10.2307/2275630zbMath0893.03022OpenAlexW2126201794MaRDI QIDQ4382463
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
Other constructive mathematics (03F65) 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, Explicit mathematics: power types and overloading, EXPLICIT MATHEMATICS AND OPERATIONAL SET THEORY: SOME ONTOLOGICAL COMPARISONS, The Operational Penumbra: Some Ontological Aspects, THE UNIVERSAL SET AND DIAGONALIZATION IN FREGE STRUCTURES, Truth and the philosophy of mathematics
Cites Work