Model theory for infinitary logic. Logic with countable conjunctions and finite quantifiers
From MaRDI portal
Publication:2547549
zbMath0222.02064MaRDI QIDQ2547549
Publication date: 1971
Published in: Studies in Logic and the Foundations of Mathematics (Search for Journal in Brave)
Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Ultraproducts and related constructions (03C20) Other infinitary logic (03C75) Categoricity and completeness of theories (03C35) Other model constructions (03C30)
Related Items
Simple homogeneous models ⋮ Shelah's eventual categoricity conjecture in universal classes. I. ⋮ WHICH CLASSES OF STRUCTURES ARE BOTH PSEUDO-ELEMENTARY AND DEFINABLE BY AN INFINITARY SENTENCE? ⋮ Simplicity and uncountable categoricity in excellent classes ⋮ Constructor-based observational logic ⋮ A Tree Argument in Infinitary Model Theory ⋮ Biprobability logic with conditional expectation ⋮ A robuster Scott rank ⋮ An example related to Gregory's theorem ⋮ Proof systems for structured algebraic specifications: An overview ⋮ Extended ultrapowers and the Vopěnka-Hrbáček theorem without choice ⋮ Abstract elementary classes stable in \(\aleph_{0}\) ⋮ THE STABILITY SPECTRUM FOR CLASSES OF ATOMIC MODELS ⋮ Persistently Finite, Persistently Arithmetic Theories ⋮ Uncountable categoricity for gross models ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Two applications of topology to model theory ⋮ Local collection and end-extensions of models of compositional truth ⋮ Unnamed Item ⋮ Souslin quasi-orders and bi-embeddability of uncountable structures ⋮ Unbounded actions of metric groups and continuous logic ⋮ Boolean valued semantics for infinitary logics ⋮ Incomparable ω1‐like models of set theory ⋮ A presentation theorem for continuous logic and metric abstract elementary classes ⋮ Forcing a countable structure to belong to the ground model ⋮ Characterizing the existence of a Borel complete expansion ⋮ A two‐dimensional metric temporal logic ⋮ INFINITARY PROPOSITIONAL RELEVANT LANGUAGES WITH ABSURDITY ⋮ The consistency property in lattice valued model theory for infinitary logic ⋮ Free Suslin algebras ⋮ COMPUTABLE STRUCTURES IN GENERIC EXTENSIONS ⋮ Countable structures for uncountable infinitary languages ⋮ INTERPRETING GROUPS AND FIELDS IN SOME NONELEMENTARY CLASSES ⋮ HENKIN CONSTRUCTIONS OF MODELS WITH SIZE CONTINUUM ⋮ Complexity of Scott sentences ⋮ Categoricity and U-rank in excellent classes ⋮ Some proof theoretic-properties of dense linear orderings and countable well-orderings ⋮ Polish group actions: Dichotomies and generalized elementary embeddings ⋮ Négation constructive et axiomatique interne ⋮ INSTANTIAL NEIGHBOURHOOD LOGIC ⋮ INVARIANT MEASURES CONCENTRATED ON COUNTABLE STRUCTURES ⋮ Some model theory for monotone quantifiers ⋮ Topics in invariant descriptive set theory ⋮ Three red herrings around Vaught’s conjecture ⋮ Models of PA: Standard Systems without Minimal Ultrafilters ⋮ Borel equivalence relations and classifications of countable models ⋮ Compact and ϖ-compact formulas in 51-151-151-1 ⋮ Glimm-Effros for coanalytic equivalence relations ⋮ Omitting Types: Application to Descriptive Set Theory ⋮ The Theory of Countable Analytical Sets ⋮ Bounds on Scott ranks of some polish metric spaces ⋮ Game logic and its applications. I ⋮ Undefinable Classes and Definable Elements in Models of Set Theory and Arithmetic ⋮ Topological model theory with an interior operator: Consistency properties and back — and forth arguments ⋮ Enumerations in computable structure theory ⋮ Completeness and interpolation of almost-everywhere quantification over finitely additive measures ⋮ Ideals without ccc and without property $ \boldsymbol( \mathbf{M} \boldsymbol)$ ⋮ Homological Algebra and Set Theory ⋮ Global definability theory in 𝐿_{𝜔₁𝜔} ⋮ On order types of linear basic algebras. ⋮ Vaught’s conjecture on analytic sets ⋮ Inseparability in recursive copies ⋮ Observational logic, constructor-based logic, and their duality. ⋮ Arrovian aggregation of generalised expected-utility preferences: (im)possibility results by means of model theory ⋮ A contextual-hierarchical approach to truth and the liar paradox ⋮ A completeness proof for adapted probability logic ⋮ Hyperfinite models of adapted probability logic ⋮ A typed logic of partial functions reconstructed classically ⋮ Stability of recursive structures in arithmetical degrees ⋮ Generalized quantifiers and pebble games on finite structures ⋮ Beginning of stability theory for Polish spaces ⋮ Logic of transition systems ⋮ Infinitary propositional normal modal logic ⋮ Categoricity results for \(L_{\infty \kappa}\)-free algebras ⋮ Applications of Fodor's lemma to Vaught's conjecture ⋮ Some applications of illfoundedness ⋮ An institution-independent proof of the Robinson consistency theorem ⋮ Omitting types for infinitary \([0,1\)-valued logic] ⋮ Infinite monochromatic paths and a theorem of Erdős-Hajnal-Rado ⋮ Model theoretic characterizations of large cardinals ⋮ A formalized general theory of syntax with bindings ⋮ Sacks forcing does not always produce a minimal upper bound ⋮ Hamiltonian closure on universal algebras. ⋮ A generalization of the Łoś-Tarski preservation theorem ⋮ Iterated elementary embeddings and the model theory of infinitary logic ⋮ Base-free formulas in the lattice-theoretic study of compacta ⋮ The nonabsoluteness of model existence in uncountable cardinals for \(L_{\omega_{1},\omega}\) ⋮ Kurepa trees and spectra of \(\mathcal{L}_{\omega_1, \omega}\)-sentences ⋮ Proving total correctness of nondeterministic programs in infinitary logic ⋮ Definability in dynamic logic ⋮ Measuring the classification difficulty of countable torsion-free Abelian groups. ⋮ Positive existential definability of parallelism in terms of betweenness in Archimedean ordered affine geometry ⋮ Existenziell abgeschlossene lokal endliche p-Gruppen ⋮ Nonstandard definability ⋮ Karp's interpolation theorem for some classes of infinitary languages ⋮ A strong failure of \(\aleph _0\)-stability for atomic classes ⋮ Design of abstract domains using first-order logic ⋮ The number of countable models in realizability toposes ⋮ An improper arithmetically closed Borel subalgebra of \(\mathcal P(\omega)\) mod FIN ⋮ Closed world assumptions having precedence in predicates ⋮ Lindström theorems in graded model theory ⋮ The classical Galois closure for universal algebras ⋮ Encoding complete metric structures by classical structures ⋮ Uncountable degree spectra ⋮ Model theory of the regularity and reflection schemes ⋮ Formalizing Dijkstra's predicate transformer wp in weak second-order logic ⋮ Free objects and equational deduction for partial conditional specifications ⋮ On non-forking spectra ⋮ A formalized general theory of syntax with bindings: extended version ⋮ Scott sentences for certain groups ⋮ Empiricism, probability, and knowledge of arithmetic: a preliminary defense ⋮ The complexity of isomorphism for complete theories of linear orders with unary predicates ⋮ Hanf number for Scott sentences of computable structures ⋮ Forking in short and tame abstract elementary classes ⋮ A construction scheme for non-separable structures ⋮ On transferring model theoretic theorems of \(\mathcal L_{\infty,\omega}\) in the category of sets to a fixed Grothendieck topos ⋮ Notes on cardinals that are characterizable by a complete (Scott) sentence ⋮ The theory of A-spaces ⋮ A minimal prime model with an infinite set of indiscernibles ⋮ A formal analogy between Baer subplanes and their complements ⋮ More on looping vs. repeating in dynamic logic ⋮ More Lowenheim-Skolem results for admissible sets ⋮ Categoricity in \(\aleph_1\) of sentences in \(L_{\omega_1\omega}(Q)\) ⋮ Models of set theory with definable ordinals ⋮ Espaces de Baire et espaces de probabilité de structures rélationnelles ⋮ Elementary extensions of Levy's model of \(A^-_2\) ⋮ Finiteness is mu-ineffable ⋮ Martin's maximum\(^{++}\) implies Woodin's axiom \((*)\) ⋮ Uncountable universal locally finite groups ⋮ 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 ⋮ Model theory via set theory ⋮ Robinson forcing is not absolute ⋮ A standard model of Peano arithmetic with no conservative elementary extension ⋮ Properties, propositions and sets ⋮ Completeness theorems for \(\sigma \)-additive probabilistic semantics ⋮ Categoricity of computable infinitary theories ⋮ New axiomatizations for logics with generalized quantifiers ⋮ Scott rank of Polish metric spaces ⋮ The Hanf number for classes of algebras whose largest congruence is always finitely generated ⋮ Orbit cardinals: On the effective cardinalities arising as quotient spaces of the form \(X/G\) where \(G\) acts on a Polish space \(X\) ⋮ Possible predicates and actual properties ⋮ Some applications of positive formulas in descriptive set theory and logic ⋮ Scott sentences for equivalence structures ⋮ Harmonious logic: Craig's interpolation theorem and its descendants ⋮ The Craig interpolation theorem in abstract model theory ⋮ Categoricity over P for first order T or categoricity for \(\phi\) \(\in {\mathcal L}_{\omega_ 1\omega}\) can stop at \(\aleph_ k\) while holding for \(\aleph_ 0,\dots ,\aleph_{k-1}\) ⋮ Key notions of Tarski's methodology of deductive systems ⋮ Model theory for \(L_{\infty \omega _ 1}\) ⋮ Categoricity in hyperarithmetical degrees ⋮ Scattered sentences have few separable randomizations ⋮ Completeness theorem for probability models with finitely many valued measure ⋮ Borel equivalence relations induced by actions of the symmetric group ⋮ \(\omega\)-satisfiability, \(\omega\)-consistency property, and the downward Löwenheim Skolem theorem for \(L_{\kappa,\kappa}\) ⋮ P-Räume und Auswahlaxiom ⋮ Ranks and pregeometries in finite diagrams ⋮ Complete existentially closed locally finite groups ⋮ Proof methods for reasoning about possibility and necessity ⋮ Computable categoricity for pseudo-exponential fields of \(\aleph_1\) ⋮ On institutions for modular coalgebraic specifications. ⋮ Generalizing classical and effective model theory in theories of operations and classes ⋮ Gruppenuniversalität und Homogenisierbarkeit
This page was built for publication: Model theory for infinitary logic. Logic with countable conjunctions and finite quantifiers
