scientific article; zbMATH DE number 3467077
From MaRDI portal
Publication:4052109
Conference proceedings and collections of articles (00Bxx) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06) Model theory (03Cxx) Descriptive set theory (03E15) Large cardinals (03E55)
Cited in
(24)- Model theoretic forcing in analysis
- Classifying topoi and finite forcing
- On observational equivalence and algebraic specification
- Applications of Fodor's lemma to Vaught's conjecture
- On the effective content of asymptotic verifications of Edgeworth's Conjecture
- Infinitary model theory of Abelian groups
- Elimination of quantifiers for modules
- A model and its subset: The uncountable case
- Completeness results for intuitionistic and modal logic in a categorical setting
- Invariance and definability, with and without equality
- Back-and-forth systems for fuzzy first-order models
- Martin's maximum\(^{++}\) implies Woodin's axiom \((*)\)
- Two applications of topology to model theory
- Computable structures in generic extensions
- Model theory of \(C^*\)-algebras
- On nonstandard models in higher order logic
- Nonstandard set theory
- Omitting types in logic of metric structures
- Sequences of n-diagrams
- An omitting types theorem for positive bounded formulas in normed spaces
- Sheaves of structures, Heyting‐valued structures, and a generalization of Łoś's theorem
- STRUCTURAL HIGHNESS NOTIONS
- Zilber's notion of logically perfect structure: universal covers
- Filling gaps in Hardy fields
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4052109)
