The following pages link to Rosser and Mostowski sentences (Q1263586):
Displaying 8 items.
- A simplification of a completeness proof of Guaspari and Solovay (Q1099164) (← links)
- Arithmetic analogues of McAloon's unique Rosser sentences (Q1114685) (← links)
- Rosser orderings and free variables (Q1176097) (← links)
- Obituary: Franco Montagna (1948--2015) (Q1699726) (← links)
- A note on some extension results (Q1814182) (← links)
- A remark on equivalent Rosser sentences (Q2470037) (← links)
- Derivability conditions on Rosser's provability predicates (Q2641298) (← links)
- Practical Moore Sentences* (Q5070443) (← links)