On a generalization of a theorem of E. W. Beth
From MaRDI portal
Publication:5599806
DOI10.1007/BF01897040zbMath0202.30104OpenAlexW2080197492MaRDI QIDQ5599806
Publication date: 1964
Published in: Acta Mathematica Academiae Scientiarum Hungaricae (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/bf01897040
Related Items
A new theorem on definability in a positive second order logic with countable conjunctions and disjunctions ⋮ Game sentences, recursive saturation and definability ⋮ Constituents and finite identifiability ⋮ Some new results in definability ⋮ Global definability theory in 𝐿_{𝜔₁𝜔} ⋮ Weak definability in infinitary languages
Cites Work