Pages that link to "Item:Q4083390"

The following pages link to Generalized Quantifiers and Compact Logic (Q4083390):

Displaying 33 items.

• \(\mu\)-abstract elementary classes and other generalizations (Q272987) (← links)
• Positive results in abstract model theory: a theory of compact logics (Q796519) (← links)
• Classification theory for non-elementary classes. I: The number of uncountable models of \(\psi \in L_{\omega _ 1,\omega}\) (Q800911) (← links)
• Definability properties and the congruence closure (Q810007) (← links)
• Iterated elementary embeddings and the model theory of infinitary logic (Q904149) (← links)
• The theorems of Beth and Craig in abstract model theory. III: \(\Delta\)- logics and infinitary logics (Q912089) (← links)
• Model theory of the regularity and reflection schemes (Q938239) (← links)
• The Craig interpolation theorem in abstract model theory (Q1024119) (← links)
• Stationary logic of ordinals (Q1062974) (← links)
• Remarks in abstract model theory (Q1080418) (← links)
• A cut elimination theorem for stationary logic (Q1095904) (← links)
• Categoricity in \(\aleph_1\) of sentences in \(L_{\omega_1\omega}(Q)\) (Q1224580) (← links)
• Model theory via set theory (Q1244220) (← links)
• New axiomatizations for logics with generalized quantifiers (Q1256443) (← links)
• A note on extensions of infinitary logic (Q1765098) (← links)
• \(\text{PA} (aa)\) (Q1913630) (← links)
• Classification theory through stationary logic (Q1964144) (← links)
• Strong downward Löwenheim-Skolem theorems for stationary logics. I (Q2219086) (← links)
• On compactness of logics that can express properties of symmetry or connectivity (Q2350211) (← links)
• Completeness and interpolation of almost-everywhere quantification over finitely additive measures (Q2856634) (← 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)
• Stationary Logic and Ordinals (Q3929721) (← links)
• On orderings of the family of all logics (Q3964545) (← links)
• Local character of Kim-independence (Q4621381) (← links)
• AN EXPOSITION OF THE COMPACTNESS OF (Q4984858) (← links)
• Inner models from extended logics: Part 1 (Q5156477) (← links)
• UNIVERSAL THEORIES AND COMPACTLY EXPANDABLE MODELS (Q5195065) (← links)
• Sameness (Q5214794) (← links)
• Structural logic and abstract elementary classes with intersections (Q5382833) (← links)
• Filtration games and potentially projective modules (Q6044553) (← links)
• ITERATING THE COFINALITY- CONSTRUCTIBLE MODEL (Q6140190) (← links)
• When cardinals determine the power set: inner models and Härtig quantifier logic (Q6140754) (← links)