Eine Bemerkung Zur Spektralen Darstellung Aufzählbarer Und Koaufzählbarer Prädikate Durch Ausdrücke Aus ∀∃∀∃∞ (ϱ, 1)

DOI10.1002/MALQ.19880340109zbMath0646.03031OpenAlexW2036055698MaRDI QIDQ3789539

Michael Deutsch

Publication date: 1988

Published in: Zeitschrift für Mathematische Logik und Grundlagen der Mathematik (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/malq.19880340109

zbMATH Keywords

minimal modelrecursively enumerable predicatecoenumerable predicatemodels of sentences of the class \(\forall \exists \forall \exists ^{\infty }\)

Mathematics Subject Classification ID

Recursively (computably) enumerable sets and degrees (03D25) Models of other mathematical theories (03C65)

This page was built for publication: Eine Bemerkung Zur Spektralen Darstellung Aufzählbarer Und Koaufzählbarer Prädikate Durch Ausdrücke Aus ∀∃∀∃∞ (ϱ, 1)