Pages that link to "Item:Q1279733"
From MaRDI portal
The following pages link to Generalized real numbers in constructive mathematics (Q1279733):
Displaying 7 items.
- Locatedness and overt sublocales (Q638474) (← links)
- Spreads and choice in constructive mathematics. (Q1866471) (← links)
- Adjoints and the image of the ball (Q2701599) (← links)
- Zero sets of univariate polynomials (Q3065753) (← links)
- The anti-Specker property, positivity, and total boundedness (Q3583807) (← links)
- AFFINE LOGIC FOR CONSTRUCTIVE MATHEMATICS (Q5044310) (← links)
- Every metric space is separable in function realizability (Q5377467) (← links)
