Pages that link to "Item:Q1059066"
From MaRDI portal
The following pages link to A model theoretic proof of Feferman's preservation theorem (Q1059066):
Displayed 3 items.
- Elimination of unbounded quantifiers for some poly-regular groups of infinite rank (Q2461190) (← 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)