Pages that link to "Item:Q3698795"
From MaRDI portal
The following pages link to On Partially Conservative Sentences and Interpretability (Q3698795):
Displayed 9 items.
- On \(\Sigma _ 1\) and \(\Pi _ 1\) sentences and degrees of interpretability (Q685078) (← links)
- Henkin sentences and local reflection principles for Rosser provability (Q892168) (← links)
- The formalization of interpretability (Q1176098) (← links)
- On Guaspari's problem about partially conservative sentences (Q2120971) (← links)
- R.e. Prime powers and total rigidity (Q2281321) (← links)
- Effectively inseparable Boolean algebras in lattices of sentences (Q2655144) (← links)
- Extension and interpretability (Q2658276) (← links)
- Lindenbaum Algebras and Partial Conservativity (Q4724620) (← links)
- A MATHEMATICAL COMMITMENT WITHOUT COMPUTATIONAL STRENGTH (Q5046601) (← links)