Some new results in definability
From MaRDI portal
Publication:5509680
DOI10.1090/S0002-9904-1964-11244-1zbMath0137.00805OpenAlexW2004201635MaRDI QIDQ5509680
Publication date: 1964
Published in: Bulletin of the American Mathematical Society (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1090/s0002-9904-1964-11244-1
Related Items
A new theorem on definability in a positive second order logic with countable conjunctions and disjunctions ⋮ CHARACTERIZING DOWNWARDS CLOSED, STRONGLY FIRST-ORDER, RELATIVIZABLE DEPENDENCIES ⋮ Game sentences, recursive saturation and definability ⋮ Constituents and finite identifiability ⋮ Global definability theory in 𝐿_{𝜔₁𝜔} ⋮ Weak definability in infinitary languages
Cites Work