Pages that link to "Item:Q1099165"
From MaRDI portal
The following pages link to Generic generalized Rosser fixed points (Q1099165):
Displaying 12 items.
- Henkin sentences and local reflection principles for Rosser provability (Q892168) (← links)
- Arithmetic with a local reflection principle for Rosser provability formulas (Q908911) (← links)
- Self-reference and modal logic (Q1078163) (← links)
- A simplification of a completeness proof of Guaspari and Solovay (Q1099164) (← links)
- Arithmetic analogues of McAloon's unique Rosser sentences (Q1114685) (← links)
- On the proof of Solovay's theorem (Q1176096) (← links)
- Rosser orderings and free variables (Q1176097) (← links)
- Rosser and Mostowski sentences (Q1263586) (← links)
- Obituary: Franco Montagna (1948--2015) (Q1699726) (← links)
- A note on some extension results (Q1814182) (← links)
- Derivability conditions on Rosser's provability predicates (Q2641298) (← links)
- UNIVERSAL ROSSER PREDICATES (Q5738203) (← links)