scientific article; zbMATH DE number 1420793
From MaRDI portal
Publication:4944857
zbMath0943.03053MaRDI QIDQ4944857
Publication date: 22 March 2000
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
small setsprinciple of excluded middleeffectiveness conditionMartin-Löf's constructive set theoryuniqueness of propositional equality proofs
Nonclassical and second-order set theories (03E70) Other constructive mathematics (03F65) Second- and higher-order arithmetic and fragments (03F35)
Related Items (9)
A Minimalist Foundation at Work ⋮ Quotients by Idempotent Functions in Cedille ⋮ Inductively generated formal topologies. ⋮ Some points in formal topology. ⋮ Unique existence, approximate solutions, and countable choice. ⋮ The Zariski spectrum as a formal geometry ⋮ A minimalist two-level foundation for constructive mathematics ⋮ Formal Zariski topology: Positivity and points ⋮ A cartesian closed category in Martin-Löf's intuitionistic type theory
Uses Software
This page was built for publication:
