Stationary logic
From MaRDI portal
Publication:4149757
Cited in
(33)- Filtration games and potentially projective modules
- New axiomatizations for logics with generalized quantifiers
- The role of the Omitting Types Theorem in infinitary logic
- Classification theory through stationary logic
- Local character of Kim-independence
- Set theory with a filter quantifier
- On compactness of logics that can express properties of symmetry or connectivity
- A new omitting types theorem for L(Q)
- Inverse topological systems and compactness in abstract model theory
- Definability hierarchies of generalized quantifiers
- Completeness and interpolation of almost-everywhere quantification over finitely additive measures
- \(\text{PA} (aa)\)
- The measure quantifier
- Generalized quantification as substructural logic
- The theorems of beth and Craig in abstract model theory II. Compact logics
- Barwise: Abstract Model Theory and Generalized Quantifiers
- Weakly compact cardinals in models of set theory
- Meeting of the Association for Symbolic Logic, Karpacz, Poland, 1979
- The Craig interpolation theorem in abstract model theory
- A nonconservativity result on global choice
- Iterated elementary embeddings and the model theory of infinitary logic
- A cut elimination theorem for stationary logic
- Model constructions in stationary logic. Part I. Forcing
- An algebraic result about soft model theoretical equivalence relations with an application to H. Friedman's fourth problem
- Adjunction of a strong unit to a hyper-Archimedean lattice-ordered group
- Some contributions to definability theory for languages with generalized quantifiers
- Positive results in abstract model theory: a theory of compact logics
- Inner models from extended logics. I
- Stationary logic of ordinals
- On the homogeneity property for certain quantifier logics
- Automorphism properties of stationary logic
- On Shelah's compactness of cardinals
- Barwise: Infinitary Logic and Admissible Sets
This page was built for publication: Stationary logic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4149757)