Pages that link to "Item:Q1899140"
From MaRDI portal
The following pages link to Generalizing theorems in real closed fields (Q1899140):
Displaying 9 items.
- Theories of real numbers and interpretability (Q744846) (← links)
- The lengths of proofs: Kreisel's conjecture and Gödel's speed-up theorem (Q843609) (← links)
- Note on generalizing theorems in algebraically closed fields (Q1267838) (← links)
- Null- and Positivstellensätze for generalized real closed fields (Q1380044) (← links)
- Towards a clausal analysis of cut-elimination (Q2457341) (← links)
- Herbrand's theorem and term induction (Q2491080) (← links)
- Controlling witnesses (Q2566063) (← links)
- An isomorphism theorem for real-closed fields (Q2653678) (← links)
- 2002 European Summer Meeting of the Association for Symbolic Logic Logic Colloquium '02 (Q4432544) (← links)