Large infinitary languages. Model theory
From MaRDI portal
Cited in
(44)- The Craig interpolation theorem in abstract model theory
- Model theoretic results for infinitely deep languages
- Produits lexicographiques de groupes ordonnés: Isomorphisme et équivalence élémentaire. (Lexicographic products of ordered groups: isomorphism and elementary equivalence)
- Proving total correctness of nondeterministic programs in infinitary logic
- Concrete categories and infinitary languages
- Loewenheim-Skolem problem for functors
- Compactness and normality in abstract logics
- A model and its subset: The uncountable case
- Logical quantizations of first-order structures
- Observations about Scott and Karp trees
- Chain logic and Shelah's infinitary logic
- Descriptive complexity of subsets of the space of finitely generated groups
- How rigid are reduced products?
- Elementary equivalences and accessible functors
- Quantum metaphysical indeterminacy and worldly incompleteness
- \(\mu\)-abstract elementary classes and other generalizations
- Infinitary stability theory
- On the utility of Robinson-Amitsur ultrafilters. II
- Pragmatic truth and approximation to truth
- European Summer Meeting of the Association for Symbolic Logic, Leeds, 1979
- Some Undecidability Results Concerning Radon Measures
- Isomorphism of structures in S-toposes
- The Härtig quantifier: a survey
- Homological Algebra and Set Theory
- The Hanf Number of the First Order Theory of Banach Spaces
- Undefinability of κ-well-orderings in L∞κ
- Non-axiomatizability of real spectra in \(\mathcal L_{ \infty \lambda} \)
- INFINITARY PROPOSITIONAL RELEVANT LANGUAGES WITH ABSURDITY
- Comparing notions of similarity for uncountable models
- LOGICALITY AND MODEL CLASSES
- Compactness phenomena around the class of locally projective modules
- Some strong logics within combinatorial set theory and the logic of chains
- Extensions for open default theories via the domain closure assumption
- Infinitary generalizations of Deligne's completeness theorem
- Higher indescribability and derived topologies
- Bicontextualism
- Limit groups and automorphisms of -existentially closed groups
- New foundations of reasoning via real-valued first-order logics
- Set-theoretic bicontextualism
- Kripke completeness of infinitary predicate multimodal logics
- Categoricity and amalgamation for AEC, and measurable
- Model theory for \(L_{\infty \omega _ 1}\)
- Categoricity of theories in \(L_{\kappa \omega}\), with \(\kappa\) a compact cardinal
- A theorem on Barr-exact categories, with an infinitary generalization
This page was built for publication: Large infinitary languages. Model theory
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1224571)
