The following pages link to Nice infinitary logics (Q2879888):
Displaying 13 items.
- A note on extensions of infinitary logic (Q1765098) (← links)
- Nice implicational axioms (Q1844202) (← links)
- Chain logic and Shelah's infinitary logic (Q2066130) (← links)
- Isomorphic limit ultrapowers for infinitary logic (Q2130530) (← links)
- On compactness of logics that can express properties of symmetry or connectivity (Q2350211) (← links)
- Nice infinitary logics (Q2879888) (← links)
- There are reasonably nice logics (Q3981457) (← links)
- Barwise: Abstract Model Theory and Generalized Quantifiers (Q4678933) (← links)
- The Logically Simplest Form of the Infinity Axiom (Q4729777) (← links)
- Infinitary logics and abstract elementary classes (Q5164062) (← links)
- (Q5223106) (← links)
- WHICH CLASSES OF STRUCTURES ARE BOTH PSEUDO-ELEMENTARY AND DEFINABLE BY AN INFINITARY SENTENCE? (Q5884253) (← links)
- Games and Lindström theorems (Q6043095) (← links)