Pages that link to "Item:Q4154547"
From MaRDI portal
The following pages link to Models with compactness properties relative to an admissible language (Q4154547):
Displaying 27 items.
- Bootstrapping. I (Q636291) (← links)
- Resplendent models and \({\Sigma_1^1}\)-definability with an oracle (Q944221) (← links)
- Applications of Fodor's lemma to Vaught's conjecture (Q1114671) (← links)
- New axiomatizations for logics with generalized quantifiers (Q1256443) (← links)
- Hanf number for Scott sentences of computable structures (Q1756497) (← links)
- Transplendent models: expansions omitting a type (Q1762364) (← links)
- Automorphisms of countable recursively saturated models of PA: A survey (Q1913626) (← links)
- Condensable models of set theory (Q2144608) (← links)
- A new proof of Ajtai's completeness theorem for nonstandard finite structures (Q2339960) (← links)
- An example related to Gregory's theorem (Q2377350) (← links)
- Unifying the model theory of first-order and second-order arithmetic via \(\mathrm{WKL}_0^\ast\) (Q2400502) (← links)
- Classes of Ulm type and coding rank-homogeneous trees in other structures (Q3173529) (← links)
- Well Quasi-orderings and Roots of Polynomials in a Hahn Field (Q3295148) (← links)
- Classification from a Computable Viewpoint (Q3430937) (← links)
- Refinements of Vaught's normal from theorem (Q3875914) (← links)
- Game sentences, recursive saturation and definability (Q3889030) (← links)
- Recursively Saturated Models of Set Theory (Q3902995) (← links)
- Algebraic independence (Q3942939) (← links)
- An example concerning Scott heights (Q3966113) (← links)
- Recursively saturated nonstandard models of arithmetic (Q3966138) (← links)
- A Spector-Gandy theorem for cPC<sub><i>d</i></sub>() classes (Q4032633) (← links)
- A Transfer Principle for Simple Properties of Theories (Q4145702) (← links)
- A Tree Argument in Infinitary Model Theory (Q4163198) (← links)
- Polish Group Actions and the Vaught Conjecture (Q4286444) (← links)
- Barwise: Infinitary Logic and Admissible Sets (Q4678932) (← links)
- Generalized reduction theorems for model-theoretic analogs of the class of coanalytic sets (Q5287681) (← links)
- Π<sub>1</sub><sup>1</sup> relations and paths through (Q5311742) (← links)