Pages that link to "Item:Q1279733"
From MaRDI portal
The following pages link to Generalized real numbers in constructive mathematics (Q1279733):
Displaying 12 items.
- Locatedness and overt sublocales (Q638474) (← links)
- Inequality in constructive mathematics (Q1182691) (← links)
- Constructing the real numbers in HOL (Q1334896) (← links)
- Spreads and choice in constructive mathematics. (Q1866471) (← links)
- Constructive completions of ordered sets, groups and fields (Q2488274) (← 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)
- (Q4736388) (← links)
- (Q4884983) (← links)
- AFFINE LOGIC FOR CONSTRUCTIVE MATHEMATICS (Q5044310) (← links)
- Every metric space is separable in function realizability (Q5377467) (← links)