Pages that link to "Item:Q2547549"
From MaRDI portal
The following pages link to Model theory for infinitary logic. Logic with countable conjunctions and finite quantifiers (Q2547549):
Displaying 50 items.
- On order types of linear basic algebras. (Q2351508) (← links)
- Shelah's eventual categoricity conjecture in universal classes. I. (Q2358624) (← links)
- Simplicity and uncountable categoricity in excellent classes (Q2368908) (← links)
- Constructor-based observational logic (Q2369030) (← links)
- An example related to Gregory's theorem (Q2377350) (← links)
- Game logic and its applications. I (Q2563453) (← links)
- Enumerations in computable structure theory (Q2570135) (← links)
- Abstract elementary classes stable in \(\aleph_{0}\) (Q2636519) (← links)
- Two applications of topology to model theory (Q2660154) (← links)
- Local collection and end-extensions of models of compositional truth (Q2662691) (← links)
- Three red herrings around Vaught's conjecture (Q2790604) (← links)
- Completeness and interpolation of almost-everywhere quantification over finitely additive measures (Q2856634) (← links)
- The stability spectrum for classes of atomic models (Q2909618) (← links)
- Forcing a countable structure to belong to the ground model (Q2958213) (← links)
- COMPUTABLE STRUCTURES IN GENERIC EXTENSIONS (Q2976365) (← links)
- Persistently Finite, Persistently Arithmetic Theories (Q3043120) (← links)
- Biprobability logic with conditional expectation (Q3170561) (← links)
- A robuster Scott rank (Q3450085) (← links)
- Glimm-Effros for coanalytic equivalence relations (Q3630572) (← links)
- The consistency property in lattice valued model theory for infinitary logic (Q3778733) (← links)
- Undefinable Classes and Definable Elements in Models of Set Theory and Arithmetic (Q3807185) (← links)
- (Q3863858) (← links)
- Topological model theory with an interior operator: Consistency properties and back — and forth arguments (Q3926559) (← links)
- Extended ultrapowers and the Vopěnka-Hrbáček theorem without choice (Q3984431) (← links)
- Omitting Types: Application to Descriptive Set Theory (Q4055640) (← links)
- The Theory of Countable Analytical Sets (Q4078033) (← links)
- Some proof theoretic-properties of dense linear orderings and countable well-orderings (Q4110983) (← links)
- Homological Algebra and Set Theory (Q4126341) (← links)
- Some model theory for monotone quantifiers (Q4141237) (← links)
- Free Suslin algebras (Q4161324) (← links)
- A Tree Argument in Infinitary Model Theory (Q4163198) (← links)
- (Q4179017) (← links)
- Compact and ϖ-compact formulas in 51-151-151-1 (Q4180331) (← links)
- Polish group actions: Dichotomies and generalized elementary embeddings (Q4383175) (← links)
- Négation constructive et axiomatique interne (Q4385672) (← links)
- Ideals without ccc and without property $ \boldsymbol( \mathbf{M} \boldsymbol)$ (Q4501094) (← links)
- Vaught’s conjecture on analytic sets (Q4517121) (← links)
- INFINITARY PROPOSITIONAL RELEVANT LANGUAGES WITH ABSURDITY (Q4600823) (← links)
- HENKIN CONSTRUCTIONS OF MODELS WITH SIZE CONTINUUM (Q4632538) (← links)
- Categoricity and U-rank in excellent classes (Q4650286) (← links)
- Global definability theory in 𝐿_{𝜔₁𝜔} (Q4767313) (← links)
- Simple homogeneous models (Q4780398) (← links)
- Uncountable categoricity for gross models (Q4813692) (← links)
- (Q4963180) (← links)
- Bounds on Scott ranks of some polish metric spaces (Q4991907) (← links)
- Proof systems for structured algebraic specifications: An overview (Q5055918) (← links)
- Souslin quasi-orders and bi-embeddability of uncountable structures (Q5097134) (← links)
- Incomparable ω<sub>1</sub>‐like models of set theory (Q5108089) (← links)
- A presentation theorem for continuous logic and metric abstract elementary classes (Q5108119) (← links)
- A two‐dimensional metric temporal logic (Q5112385) (← links)
