Pages that link to "Item:Q4100057"
From MaRDI portal
The following pages link to Applications of vaught sentences and the covering theorem (Q4100057):
Displaying 10 items.
- The Craig interpolation theorem in abstract model theory (Q1024119) (← links)
- Applications of Fodor's lemma to Vaught's conjecture (Q1114671) (← links)
- Numerations of saturated and homogeneous models (Q1149948) (← links)
- New axiomatizations for logics with generalized quantifiers (Q1256443) (← links)
- Borel $$^{*}$$ Sets in the Generalized Baire Space and Infinitary Languages (Q3299585) (← links)
- Some local definability results on countable topological structures (Q3342545) (← links)
- Coinductive formulas and a many-sorted interpolation theorem (Q3822150) (← links)
- Refinements of Vaught's normal from theorem (Q3875914) (← links)
- Game sentences, recursive saturation and definability (Q3889030) (← links)
- An application of invariant sets to global definability (Q4189263) (← links)