Pages that link to "Item:Q687628"
From MaRDI portal
The following pages link to Building discretely ordered Bezout domains and GCD domains (Q687628):
Displaying 7 items.
- Independence results for variants of sharply bounded induction (Q716498) (← links)
- Fermat's last theorem and Bezout's theorem in GCD domains (Q1196796) (← links)
- Real closures of models of weak arithmetic (Q1935370) (← links)
- 2008 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '08 (Q3616431) (← links)
- Addendum to ‘Embedding GCD Domains in Bezout Domains’ (Q5283948) (← 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)