Pages that link to "Item:Q4115128"
From MaRDI portal
The following pages link to δ-Logics and generalized quantifiers (Q4115128):
Displaying 27 items.
- On vectorizations of unary generalized quantifiers (Q412063) (← links)
- Positive results in abstract model theory: a theory of compact logics (Q796519) (← links)
- Logical operations and iterated infinitely deep languages (Q799666) (← links)
- The theorems of Beth and Craig in abstract model theory. III: \(\Delta\)- logics and infinitary logics (Q912089) (← links)
- Harmonious logic: Craig's interpolation theorem and its descendants (Q1024116) (← links)
- Remarks in abstract model theory (Q1080418) (← links)
- Model theory via set theory (Q1244220) (← links)
- The old and the new logic of metascience (Q1252849) (← links)
- Definability hierarchies of generalized quantifiers (Q1824614) (← links)
- Zum \(L(Q)\)-Interpolationsproblem (Q1846413) (← links)
- Directions in generalized quantifier theory (Q1908858) (← links)
- ON THE SYMBIOSIS BETWEEN MODEL-THEORETIC AND SET-THEORETIC PROPERTIES OF LARGE CARDINALS (Q3188331) (← links)
- The metatheory of the classical propositional calculus is not axiomatizable (Q3748264) (← links)
- Ultraproduct Invariant Logics (Q3875915) (← links)
- European Summer Meeting of the Association for Symbolic Logic, Leeds, 1979 (Q3902981) (← links)
- An algebraic result about soft model theoretical equivalence relations with an application to H. Friedman's fourth problem (Q3916560) (← links)
- The theorems of beth and Craig in abstract model theory II. Compact logics (Q3926560) (← links)
- Interpolation, compactness and JEP in soft model theory (Q3958441) (← links)
- Duality Between Logics and Equivalence Relations (Q3960670) (← links)
- On orderings of the family of all logics (Q3964545) (← links)
- The Härtig quantifier: a survey (Q3984397) (← links)
- Some model theory for monotone quantifiers (Q4141237) (← links)
- LOGICALITY AND MODEL CLASSES (Q5037517) (← links)
- TWO-VARIABLE LOGIC HAS WEAK, BUT NOT STRONG, BETH DEFINABILITY (Q5159499) (← links)
- Infinitary logics and abstract elementary classes (Q5164062) (← links)
- Structural logic and abstract elementary classes with intersections (Q5382833) (← links)
- When cardinals determine the power set: inner models and Härtig quantifier logic (Q6140754) (← links)
