The following pages link to Stationary logic (Q4149757):
Displaying 33 items.
- A nonconservativity result on global choice (Q759750) (← links)
- Positive results in abstract model theory: a theory of compact logics (Q796519) (← links)
- Iterated elementary embeddings and the model theory of infinitary logic (Q904149) (← links)
- The Craig interpolation theorem in abstract model theory (Q1024119) (← links)
- Stationary logic of ordinals (Q1062974) (← links)
- A cut elimination theorem for stationary logic (Q1095904) (← links)
- On the homogeneity property for certain quantifier logics (Q1204106) (← links)
- On Shelah's compactness of cardinals (Q1248507) (← links)
- New axiomatizations for logics with generalized quantifiers (Q1256443) (← links)
- Definability hierarchies of generalized quantifiers (Q1824614) (← links)
- \(\text{PA} (aa)\) (Q1913630) (← links)
- Classification theory through stationary logic (Q1964144) (← links)
- On compactness of logics that can express properties of symmetry or connectivity (Q2350211) (← links)
- Adjunction of a strong unit to a hyper-Archimedean lattice-ordered group (Q2683741) (← links)
- Completeness and interpolation of almost-everywhere quantification over finitely additive measures (Q2856634) (← links)
- Set theory with a filter quantifier (Q3666826) (← links)
- Weakly compact cardinals in models of set theory (Q3712333) (← links)
- Inverse topological systems and compactness in abstract model theory (Q3767332) (← links)
- A new omitting types theorem for <i>L(Q)</i> (Q3863864) (← links)
- Meeting of the Association for Symbolic Logic, Karpacz, Poland, 1979 (Q3914949) (← links)
- An algebraic result about soft model theoretical equivalence relations with an application to H. Friedman's fourth problem (Q3916560) (← links)
- The role of the Omitting Types Theorem in infinitary logic (Q3919693) (← links)
- The theorems of beth and Craig in abstract model theory II. Compact logics (Q3926560) (← links)
- Model constructions in stationary logic. Part I. Forcing (Q3936726) (← links)
- Some contributions to definability theory for languages with generalized quantifiers (Q3964535) (← links)
- Automorphism properties of stationary logic (Q4008759) (← links)
- The measure quantifier (Q4189265) (← links)
- Local character of Kim-independence (Q4621381) (← links)
- Barwise: Infinitary Logic and Admissible Sets (Q4678932) (← links)
- Barwise: Abstract Model Theory and Generalized Quantifiers (Q4678933) (← links)
- Inner models from extended logics: Part 1 (Q5156477) (← links)
- Generalized quantification as substructural logic (Q5687328) (← links)
- Filtration games and potentially projective modules (Q6044553) (← links)
