Pages that link to "Item:Q4594260"
From MaRDI portal
The following pages link to Constructive topology and combinatorics (Q4594260):
Displaying 12 items.
- A universal Krull-Lindenbaum theorem (Q273003) (← links)
- The equivalence of bar recursion and open recursion (Q400424) (← links)
- Space of valuations (Q1006605) (← links)
- A constructive topological proof of van der Waerden's theorem (Q1910731) (← links)
- Dependent choice as a termination principle (Q2309508) (← links)
- Programs from proofs using classical dependent choice (Q2482844) (← links)
- Lindenbaum’s Lemma via Open Induction (Q3305552) (← links)
- Decision procedure of some relevant logics: a constructive perspective (Q3647218) (← links)
- A constructive proof of the Heine-Borel covering theorem for formal reals (Q4647570) (← links)
- Forcing in Proof Theory (Q4678943) (← links)
- Constructing Gröbner bases for Noetherian rings (Q5740356) (← links)
- Constructive decision via redundancy-free proof-search (Q5919012) (← links)
