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):

Displayed 2 items.

• The Craig interpolation theorem in abstract model theory (Q1024119) ‎ (← links)
• A field guide to equational logic (Q1201350) ‎ (← links)