Pages that link to "Item:Q3514637"
From MaRDI portal
The following pages link to Arithmetization of the field of reals with exponentiation extended abstract (Q3514637):
Displaying 7 items.
- Bootstrapping. I (Q636291) (← links)
- (Q3172122) (← links)
- Extension of Lifschitz' realizability to higher order arithmetic, and a solution to a problem of F. Richman (Q3985093) (← links)
- Real closed fields and models of Peano arithmetic (Q5190186) (← links)
- (Q5450322) (← links)
- Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 12--17, 2023 (Q6613397) (← links)
- Proof complexity and beyond. Abstracts from the workshop held March 24--29, 2024 (Q6613418) (← links)