Pages that link to "Item:Q1059066"
From MaRDI portal
The following pages link to A model theoretic proof of Feferman's preservation theorem (Q1059066):
Displaying 7 items.
- An inner model theoretic proof of Becker's theorem (Q2274143) (← links)
- Elimination of unbounded quantifiers for some poly-regular groups of infinite rank (Q2461190) (← links)
- Preservation of model-theoretic properties of \(\Psi\)-fractions (Q2748857) (← links)
- A direct proof of the Feferman-Vaught theorem and other preservation theorems in products (Q3984437) (← links)
- From Choosing Elements to Choosing Concepts: The Evolution of Feferman’s Work in Model Theory (Q5214779) (← links)
- Peano Corto and Peano Basso: A Study of Local Induction in the Context of Weak Theories (Q5404169) (← links)
- Preservation theorems in finite model theory (Q6064296) (← links)