Pages that link to "Item:Q1176097"
From MaRDI portal
The following pages link to Rosser orderings and free variables (Q1176097):
Displaying 8 items.
- A simplification of a completeness proof of Guaspari and Solovay (Q1099164) (← links)
- Rosser and Mostowski sentences (Q1263586) (← links)
- Order types of free subsets (Q1377636) (← 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)
- Free-variable tableaux for monotonic preorders (Q3147362) (← links)
- Semantic Completeness of Free-Variable Theories (Q3754616) (← links)