Pages that link to "Item:Q2852156"
From MaRDI portal
The following pages link to Transition of consistency and satisfiability under language extensions (Q2852156):
Displaying 4 items.
- Approximately satisfied properties of systems and simple language homomorphisms (Q673348) (← links)
- The Gödel completeness theorem for uncountable languages (Q2852157) (← links)
- Sequent calculus, derivability, provability. Gödel's completeness theorem (Q2865750) (← links)
- Extending ω-consistent sets to maximally consistent, ω-complete sets (Q3033747) (← links)