Pages that link to "Item:Q2869900"
From MaRDI portal
The following pages link to Infinite sets that Satisfy the Principle of Omniscience in any Variety of Constructive Mathematics (Q2869900):
Displaying 9 items.
- Completeness and decidability results for CTL in constructive type theory (Q287375) (← links)
- The intrinsic topology of Martin-Löf universes (Q290640) (← links)
- Surveyable sets (Q1788328) (← links)
- On Brouwer's continuity principle (Q1788331) (← links)
- Exploring mathematical objects from custom-tailored mathematical universes (Q2080581) (← links)
- On the Cantor–Bendixson rank of a set that is searchable in Gödel’s T (Q2799751) (← links)
- Countable sets versus sets that are countable in reverse mathematics (Q5037215) (← links)
- (Q5101354) (← links)
- On the Computability of the Fan Functional (Q5214781) (← links)
