Pages that link to "Item:Q1861531"
From MaRDI portal
The following pages link to Saturated models of universal theories (Q1861531):
Displaying 11 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)
- Polynomial time ultrapowers and the consistency of circuit lower bounds (Q2288334) (← links)
- On axiom schemes for \(T\)-provably \(\Delta_1\) formulas (Q2449854) (← links)
- Local induction and provably total computable functions (Q2453069) (← links)
- 2010 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '10 (Q3011106) (← links)
- Forcing in Proof Theory (Q4678943) (← links)
- Reducing ω-model reflection to iterated syntactic reflection (Q6038474) (← links)
- Semi-honest subrecursive degrees and the collection rule in arithmetic (Q6137350) (← links)
