The monadic second order theory of all countable ordinals

The monadic second order theory of all countable ordinals

Weitere Versionen anzeigen (1)

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Büchi, Julius Richard 1924-1984 (VerfasserIn), Siefkes, Dirk 1938-2016 (VerfasserIn)
Format:	Buch
Sprache:	English
Veröffentlicht:	Berlin [u.a.] Springer 1973
Schriftenreihe:	Decidable theories 2 Lecture notes in mathematics 328
Schlagworte:	Ordinalzahl Monadische Theorie
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

The monadic second order theory of all countable ordinals
von: Büchi, Julius Richard 1924-1984, et al.
Veröffentlicht: (1973)

Stationary logic and ordinals
von: Seese, Detlef
Veröffentlicht: (1979)

Ordinal algebras
von: Tarski, Alfred 1901-1983
Veröffentlicht: (1970)

Ordinal algebras
von: Tarski, Alfred
Veröffentlicht: (1956)

Hauptfolgen für das Ordinalzahlbezeichnungssystem W(X)
von: Harms, Angela
Veröffentlicht: (1980)

Zur Streuungsmessung ordinalskalierter Merkmale
von: Vogel, Friedrich 1937-2011
Veröffentlicht: (1990)

Moseley and the numbering of the elements
von: Jaffe, Bernard
Veröffentlicht: (1971)

Cardinal and ordinal numbers
von: Sierpiński, Wacław
Veröffentlicht: (1965)

Einführung in die Allgemeine Mengenlehre
von: Klaua, Dieter
Veröffentlicht: (1974)

Rekursive Bezeichnungssysteme für Ordinalzahlen auf der Grundlage der Feferman-Aczelschen Normalfunktionen ...
von: Buchholz, Wilfried
Veröffentlicht: (1974)

Rekursive Bezeichnungssysteme für Ordinalzahlen auf der Grundlage der Feferman-Aczelschen Normalfunktionen Theta (alpha)
von: Buchholz, Wilfried
Veröffentlicht: (1974)

Ein Bezeichnungssystem für Ordinalzahlen über einer Hierarchie von a-Mahlozahlen
von: Wemheuer, Marc
Veröffentlicht: (1994)

Rekursive Bezeichnungssysteme für Ordinalzahlen auf der Grundlage der Feferman-Aczelschen Normalfunktionen Theta alpha
von: Buchholz, Wilfried
Veröffentlicht: (1974)

Rekursive Bezeichnungssysteme für Ordinalzahlen auf der Grundlage der Feferman-Aczelschen Normalfunktionen O alpha
von: Buchholz, Wilfried
Veröffentlicht: (1974)

Untersuchungen zur Darstellungsberechenbarkeit von Ordinalzahlfunktionen
von: Dettki, Hans Joachim
Veröffentlicht: (1985)

Bestimmung der Reichweiten allgemeiner rekursiver Definitionsprozesse für Ordinalzahlen und Ordinalzahlfunktionen
von: Eder, Elmar 1956-
Veröffentlicht: (1977)

Konstruktion ganzer, rationaler und reeller Ordinalzahlen und die diskontinuierliche Struktur der transfiniten reellen Zahlenräume
von: Klaua, Dieter 1930-2014
Veröffentlicht: (1961)

Büchi's monadic second order successor arithmetic
von: Siefkes, Dirk 1938-2016
Veröffentlicht: (1970)

Einleitung in die Mengenlehre
von: Fraenkel, Abraham Adolf 1891-1965
Veröffentlicht: (1928)

Moseley and the numbering of the elements
von: Jaffe, Bernard
Veröffentlicht: (1971)

Ein Ordinalzahlensystem für die beweistheoretische Abgrenzung der pi-1/2-Separation und Bar-Induktion
von: Buchholz, Wilfried, et al.
Veröffentlicht: (1983)

Countable JSa-admissible ordinals
von: Shinoda, Juichi
Veröffentlicht: (1983)

Techniques of admissible recursion theory
von: Chong, Chi-tat 1949-
Veröffentlicht: (1984)

Approximating countable Markov chains
von: Freedman, David 1938-2008
Veröffentlicht: (1972)

Ordinal
Veröffentlicht: (1975)

Vulnerability modeling and monadic dynamical systems
von: Ionescu, Cezar
Veröffentlicht: (2008)

Approximating Countable Markov Chains
von: Freedman, David
Veröffentlicht: (1983)

Ordinal item response theory Mokken scale analysis
von: Schuur, Wijbrandt van 1946-
Veröffentlicht: (2011)

On winning Ehrenfeucht games and monadic NP
von: Schwentick, Thomas
Veröffentlicht: (1995)

Simulating polyadic modal logics by monadic ones
von: Goguadze, G., et al.
Veröffentlicht: (2001)

On winning Ehrenfeucht games and monadic NP
von: Schwentick, Thomas
Veröffentlicht: (1994)

Ordinale Netzwerkskalierung
von: Droge, Ulfert
Veröffentlicht: (1984)

Ordinale Sarum
von: Maydeston, Clement
Veröffentlicht: (1508)

Ordinale Sarum
von: Clemens Maydestone ca. 1390-1456

Ordinale Sarum
von: Clemens Maydestone ca. 1390-1456

Countable nondeterminism and random assignment
von: Apt, Krzysztof R. 1949-, et al.
Veröffentlicht: (1982)

Recursion on the countable functionals
von: Normann, Dag
Veröffentlicht: (1980)

Gibbs states on countable sets
von: Preston, Christopher J. 1944-
Veröffentlicht: (1974)

Topics in the constructive theory of countable Markov chains
von: Fayolle, Guy 1943-, et al.
Veröffentlicht: (1995)

Ordinal definability and recursion theory The Cabal Seminar, Volume 3
Veröffentlicht: (2016)