Pages that link to "Item:Q5960015"
From MaRDI portal
The following pages link to First-order Frege theory is undecidable (Q5960015):
Displaying 4 items.
- On the consistency of the \(\Delta_1^1\)-CA fragment of Frege's Grundgesetze (Q1857358) (← links)
- Frege, Boolos, and logical objects (Q1876080) (← links)
- THE UNIVERSAL SET AND DIAGONALIZATION IN FREGE STRUCTURES (Q3094184) (← links)
- The first-order theory of one-step rewriting is undecidable (Q5055866) (← links)