Large infinitary languages. Model theory
From MaRDI portal
Publication:1224571
zbMath0324.02010MaRDI QIDQ1224571
Publication date: 1975
Published in: Studies in Logic and the Foundations of Mathematics (Search for Journal in Brave)
Model theory (03C99) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Large cardinals (03E55) Other infinitary logic (03C75) Other classical first-order model theory (03C68)
Related Items
\(\mu\)-abstract elementary classes and other generalizations, LOGICALITY AND MODEL CLASSES, Infinitary stability theory, A model and its subset: The uncountable case, On the utility of Robinson-Amitsur ultrafilters. II, The Härtig quantifier: a survey, Elementary equivalences and accessible functors, The Hanf Number of the First Order Theory of Banach Spaces, Produits lexicographiques de groupes ordonnés: Isomorphisme et équivalence élémentaire. (Lexicographic products of ordered groups: isomorphism and elementary equivalence), Unnamed Item, Pragmatic truth and approximation to truth, Logical quantizations of first-order structures, Some Undecidability Results Concerning Radon Measures, Observations about Scott and Karp trees, Higher indescribability and derived topologies, Bicontextualism, INFINITARY PROPOSITIONAL RELEVANT LANGUAGES WITH ABSURDITY, Quantum metaphysical indeterminacy and worldly incompleteness, Proving total correctness of nondeterministic programs in infinitary logic, Non-axiomatizability of real spectra in \(\mathcal L_{ \infty \lambda} \), Concrete categories and infinitary languages, Comparing notions of similarity for uncountable models, Categoricity of theories in \(L_{\kappa \omega}\), with \(\kappa\) a compact cardinal, A theorem on Barr-exact categories, with an infinitary generalization, Loewenheim-Skolem problem for functors, Undefinability of κ-well-orderings in L∞κ, Compactness and normality in abstract logics, Kripke completeness of infinitary predicate multimodal logics, Extensions for open default theories via the domain closure assumption, European Summer Meeting of the Association for Symbolic Logic, Leeds, 1979, The Craig interpolation theorem in abstract model theory, Model theory for \(L_{\infty \omega _ 1}\), Chain logic and Shelah's infinitary logic, Isomorphism of structures in S-toposes, How rigid are reduced products?, Unnamed Item, INFINITARY GENERALIZATIONS OF DELIGNE’S COMPLETENESS THEOREM, Model theoretic results for infinitely deep languages, Descriptive complexity of subsets of the space of finitely generated groups, Homological Algebra and Set Theory
