Pages that link to "Item:Q4704657"
From MaRDI portal
The following pages link to Can You Add Power‐Sets to Martin‐Lof's Intuitionistic Set Theory? (Q4704657):
Displayed 10 items.
- The Zariski spectrum as a formal geometry (Q949619) (← links)
- A minimalist two-level foundation for constructive mathematics (Q1032635) (← links)
- Some points in formal topology. (Q1427787) (← links)
- Unique existence, approximate solutions, and countable choice. (Q1427789) (← links)
- Pretopologies and a uniform presentation of sup-lattices, quantales and frames (Q2575764) (← links)
- Formal Zariski topology: Positivity and points (Q2575775) (← links)
- A Minimalist Foundation at Work (Q2909749) (← links)
- (Q4531082) (← links)
- The axiom of choice and the law of excluded middle in weak set theories (Q5387332) (← links)
- THE AXIOM OF CHOICE IS FALSE INTUITIONISTICALLY (IN MOST CONTEXTS) (Q5884255) (← links)