The following pages link to Some new results in definability (Q5509680):
Displaying 7 items.
- Constituents and finite identifiability (Q2550383) (← links)
- Game sentences, recursive saturation and definability (Q3889030) (← links)
- Global definability theory in 𝐿_{𝜔₁𝜔} (Q4767313) (← links)
- Weak definability in infinitary languages (Q4770396) (← links)
- CHARACTERIZING DOWNWARDS CLOSED, STRONGLY FIRST-ORDER, RELATIVIZABLE DEPENDENCIES (Q5195061) (← links)
- A new theorem on definability in a positive second order logic with countable conjunctions and disjunctions (Q5665167) (← links)
- Synthesizing nested relational queries from implicit specifications: via model theory and via proof theory (Q6597957) (← links)