Pages that link to "Item:Q759747"
From MaRDI portal
The following pages link to Some remarks on equivalence in infinitary and stationary logic (Q759747):
Displaying 8 items.
- Model constructions in stationary logic. II: Definable ultrapowers (Q1087538) (← links)
- The Hanf numbers of stationary logic. II: Comparison with other logics (Q1187533) (← links)
- Infinitary definitions of equivalence relations in models of PA (Q1377633) (← links)
- Stationary logic and its friends. I (Q1820149) (← links)
- Stationary logic and its friends. II (Q1820150) (← links)
- The Hanf number of stationary logic (Q1820151) (← links)
- Infinitary Equilibrium Logic and Strong Equivalence (Q3449222) (← links)
- ω-Trees in stationary logic (Q3691646) (← links)