Examples of sets definable by means of two and three quantifiers
From MaRDI portal
Publication:3226757
DOI10.4064/fm-42-2-259-270zbMath0066.26201OpenAlexW2763834584MaRDI QIDQ3226757
Publication date: 1955
Published in: Fundamenta Mathematicae (Search for Journal in Brave)
Full work available at URL: https://eudml.org/doc/213382
Related Items
Anzahlquantoren in der Kleene-Hierarchie, Logic and probabilistic systems, In memory of Andrzej Mostowski, Arithmetical hierarchy and complexity of computation, Computing degrees of unsolvability