Pages that link to "Item:Q1861531"
From MaRDI portal
The following pages link to Saturated models of universal theories (Q1861531):
Displayed 6 items.
- A simple proof of Parsons' theorem (Q558443) (← links)
- Consistency statements and iterations of computable functions in \(\mathrm{I}\Sigma_1\) and PRA (Q711565) (← links)
- Preservation theorems for bounded formulas (Q866887) (← links)
- Algebraic proofs of cut elimination (Q1349247) (← links)
- 2010 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '10 (Q3011106) (← links)
- Forcing in Proof Theory (Q4678943) (← links)