Pages that link to "Item:Q2144617"
From MaRDI portal
The following pages link to Model theory of monadic predicate logic with the infinity quantifier (Q2144617):
Displaying 9 items.
- Iterated elementary embeddings and the model theory of infinitary logic (Q904149) (← links)
- Infinitary definitions of equivalence relations in models of PA (Q1377633) (← links)
- Relativization of quantifiers in finite models (Q2702252) (← links)
- (Q4383726) (← links)
- (Q4395613) (← links)
- (Q4695118) (← links)
- COUNTING TO INFINITY: GRADED MODAL LOGIC WITH AN INFINITY DIAMOND (Q6131221) (← links)
- INTERLEAVING LOGIC AND COUNTING (Q6199174) (← links)
- Model Theory of Monadic Predicate Logic with the Infinity Quantifier (Q6306481) (← links)