Pages that link to "Item:Q3081251"
From MaRDI portal
The following pages link to On a conservative extension argument of Dana Scott (Q3081251):
Displaying 8 items.
- On conservative extensions in logics with infinitary predicates (Q1037594) (← links)
- Eliminating disjunctions by disjunction elimination (Q1688959) (← links)
- Replacement in logic (Q1947034) (← links)
- Remarks on the Scott-Lindenbaum theorem (Q2259002) (← links)
- Prior’s OIC nonconservativity example revisited (Q4583353) (← links)
- THE JACOBSON RADICAL OF A PROPOSITIONAL THEORY (Q5085858) (← links)
- Tait's conservative extension theorem revisited (Q5190193) (← links)
- ELIMINATING DISJUNCTIONS BY DISJUNCTION ELIMINATION (Q5363372) (← links)