Pages that link to "Item:Q598270"

The following pages link to Tarski's theory of definability: Common themes in descriptive set theory, recursive function theory, classical pure logic, and finite-universe logic (Q598270):

Displaying 4 items.

• The Craig interpolation theorem in abstract model theory (Q1024119) (← links)
• A field guide to equational logic (Q1201350) (← links)
• On the ‘definability of definable’ problem of Alfred Tarski, Part II (Q5045614) (← links)
• THE PREHISTORY OF THE SUBSYSTEMS OF SECOND-ORDER ARITHMETIC (Q5274882) (← links)