On the model theory of denumerably long formulas with finite strings of quantifiers

DOI10.2307/2270908zbMath0235.02050OpenAlexW2169148404MaRDI QIDQ5643984

Michael Makkai

Publication date: 1969

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2270908

Mathematics Subject Classification ID

Other infinitary logic (03C75)

Related Items (16)

A relative interpolation theorem for infinitary universal Horn logic and its applications ⋮ WHICH CLASSES OF STRUCTURES ARE BOTH PSEUDO-ELEMENTARY AND DEFINABLE BY AN INFINITARY SENTENCE? ⋮ Unnamed Item ⋮ Infinitary analogs of theorems from first order model theory ⋮ Boolean valued semantics for infinitary logics ⋮ Free Suslin algebras ⋮ Infinitary formulas preserved under unions of models ⋮ Interpolation and preservation in \({\mathcal{ML}}_{\omega_1}\) ⋮ Consistency property and model existence theorem for second order negative languages with conjunctions and quantifications over sets of cardinality smaller than a strong limit cardinal of denumerable cofinality ⋮ Preservation theorems for limits of structures and global sections of sheaves of structures ⋮ The Craig interpolation theorem in abstract model theory ⋮ CHAIN MODELS, TREES OF SINGULAR CARDINALITY AND DYNAMIC EF-GAMES ⋮ Some remarks on projective model classes and the interpolation theorem ⋮ A unifying approach to theorems on preservation and interpolation for binary relations between structures ⋮ Global definability theory in 𝐿_{𝜔₁𝜔} ⋮ On some properties a projective model class passes on to the generated axiomatic class

Cites Work

• Unnamed Item
• Properties preserved under homomorphism
• Persistent and invariant formulas relative to theories of higher order
• A UNIFYING PRINCIPAL IN QUANTIFICATION THEORY

This page was built for publication: On the model theory of denumerably long formulas with finite strings of quantifiers