Pages that link to "Item:Q3875907"
From MaRDI portal
The following pages link to Model-Theoretic Forcing in Logic With a Generalized Quantifier (Q3875907):
Displayed 7 items.
- Models with second order properties. IV. A general method and eliminating diamonds (Q762058) (← links)
- Algebraic analysis of the logic with the quantifier ''there exist uncountably many'' (Q1076011) (← links)
- New axiomatizations for logics with generalized quantifiers (Q1256443) (← links)
- A new omitting types theorem for <i>L(Q)</i> (Q3863864) (← links)
- Model constructions in stationary logic. Part I. Forcing (Q3936726) (← links)
- <i>L</i><sub><i>A</i></sub>(Ⅎ) (Q4200048) (← links)
- Existentially closed dimension groups (Q5389415) (← links)