Pages that link to "Item:Q3877662"
From MaRDI portal
The following pages link to Omitting uncountable types and extensions of Elementary logic (Q3877662):
Displaying 4 items.
- Omitting types theorem in hybrid dynamic first-order logic with rigid symbols (Q2111114) (← links)
- Omitting uncountable types and the strength of \([0,1]\)-valued logics (Q2442152) (← links)
- A Lindström theorem for intuitionistic first-order logic (Q6076364) (← links)
- MAXIMALITY OF LOGIC WITHOUT IDENTITY (Q6123583) (← links)
