Pages that link to "Item:Q3033747"
From MaRDI portal
The following pages link to Extending ω-consistent sets to maximally consistent, ω-complete sets (Q3033747):
Displaying 5 items.
- Unwinding modal paradoxes on digraphs (Q830367) (← links)
- Henkin's completeness proof: Forty years later (Q1183715) (← links)
- Unifying some modifications of the Henkin construction (Q1203774) (← links)
- A note on the \(\omega\)-incompleteness formalization (Q1337603) (← links)
- Transition of consistency and satisfiability under language extensions (Q2852156) (← links)