✦ LIBER ✦

Entscheidbarkeit der Theorie der Linearen Ordnung in L für Reguläres ωx

✍ Scribed by H. Herre; H. Wolter

Publisher: John Wiley and Sons
Year: 1978
Tongue: English
Weight: 436 KB
Volume: 24
Category: Article
ISSN: 0044-3050
DOI: 10.1002/malq.19780240110

No coin nor oath required. For personal study only.

✦ Synopsis

In [3] ist die Entscheidbarkeit der Theorie der linearen Ordnung in der Logik LQr mit dem zusatzlichen Quantor ,,es gibt wenigstens w, viele" gezeigt worden. Die vorliegende Arbeit ist eine Weiterfiihrung von [3] fur den Fall, daI3 Q1 durch Q, (,,es gibt wenigstens cox viele") ersetzt wird, wobei wir o x als regular v0raussetzen.l) Mit Hilfe gewisser Erzeuguiigsregeln werden ahnlich wie in [5] und [3] rekursiv aufzahlbare Mengen M , von Ordnungstypen gebildet, deren LQx Theorien rekursiv aufzahlbar sind. Unter Verwendung von spieltheoretischen Methoden wird gezeigt, daB M , in der Klasse aller geordneten Mengen beziiglich LQx dicht liegt und daB fur alle Ordinalzahlen x , ,u gilt:

📜 SIMILAR VOLUMES

Entscheidbarkeit Der Theorie Der Lineare

Entscheidbarkeit Der Theorie Der Linearen Ordnung In L

✍ H. Herre; H. Wolter 📂 Article 📅 1977 🏛 John Wiley and Sons 🌐 English ⚖ 622 KB

ESTSCHEIDBARBEIT DER THEORIE DER LINEBREN ORDNUNG I N LQ1 von H. HERRE und H. WOLTER in Berlin (DDR) 1. Einleitung I n [l] zeigte A. EHRENFEUCHT die Entscheidbarkeit der elementaren Theorie der linearen Ordnung. H. LA~CHLI und J. LEONARD erhielten in [3] mit anderen Methoden das gleiche Ergebnis. Sp

Entscheidbarkeit der Theorie der Lineare

Entscheidbarkeit der Theorie der Linearen Ordnung in Logiken mit Mächtigkeitsquantoren bzw. mit Chang-Quantor

✍ Heinrich Herre; Helmut Wolter 📂 Article 📅 1979 🏛 John Wiley and Sons 🌐 English ⚖ 834 KB

ENTSCHEIDBARKEIT DER THEORIE DER LINEAREN ORDNUNG I N LOGIKEN MIT ~CHTIGKEITSQUANTOREN BZW. MIT CHANG-QUANTOR von HEINRICH HERRE und HELMUT WOLTER in Berlin (DDR) 1. Einleitung I n [l] und [ 2 ] ist die Entscheidbarkeit der Theorie der linearen Ordnung in dcr Logik LQ,, mit dem zusatzlichen Quantor

Wasser und Abwasser. Herausgegeben von d

Wasser und Abwasser. Herausgegeben von der Bundesanstalt für Gewässergüte in Wien-Kaisermühlen. Schriftleitung L. J. Ottendorfer. – Band 21 (1978) = Beiträge zur Gewässerforschung X. – 219 S. 1979. ö. S. 490,–

✍ H. Caspers 📂 Article 📅 1981 🏛 John Wiley and Sons 🌐 English ⚖ 98 KB 👁 2 views

Probability-Conserving transformations a

Probability-Conserving transformations and superselection rules in quantum theory: L. O'Raifeartaigh, Dublin Institute for Advanced Studies, Dublin, Ireland, and G. Rasche, Institut für Theoretische Physik der Universität Zürich, Switzerland

📂 Article 📅 1963 🏛 Elsevier Science 🌐 English ⚖ 85 KB

Populäre Botanik oder fassliche Anleitun

Populäre Botanik oder fassliche Anleitung zur Kenntniss der Pflanzen für Schule und Haus von Ch. F. Hochstetter († den 20. Februar 1860) gewes. Phil. Mag. Professor und Stadtpfarrer in Esslingen. — Vierte vielseitig vermehrte und verbesserte Auflage neu bearbeitet von Wilhelm Hochstetter, K. Universitätsgärtner in Tübingen. — III. Band: Angewandte Botanik oder Beschreibung der in Deutschland, Oesterreich und der Schweiz am häufigsten cultivirten und der merkwürdigsten Nutz- und Zierpflanzen der kälteren Länder und heissen Erdstriche mit Einschluss der nutzbaren Farne und mit Ausschluss aller anderen kryptogamischen Pflanzen. — Stuttgart, Schickhardt & Ebner, 1877. — VII. und 525 S., mit 84 Abbildungen auf 7 Tafeln.

✍ A. Geheeb 📂 Article 📅 1878 🏛 John Wiley and Sons 🌐 English ⚖ 184 KB 👁 1 views