Pages that link to "Item:Q5729296"
From MaRDI portal
The following pages link to Exact Separation of Recursively Enumerable Sets Within Theories (Q5729296):
Displaying 4 items.
- HOW MUCH PROPOSITIONAL LOGIC SUFFICES FOR ROSSER’S ESSENTIAL UNDECIDABILITY THEOREM? (Q5078818) (← links)
- Bibliography of Hilary Putnam’s Writings in Logic and Mathematics (Q5214672) (← links)
- On Creative Sets and Indices of Partial Recursive Functions (Q5547580) (← links)
- Representability of recursively enumerable sets in formal theories (Q5720192) (← links)