Deterministic automata and the monadic theory of ordinals < ω2

&
Mathematical Logic Quarterly 29 (5):313-336 (1983)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1002/malq.19830290503

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,757

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Axiomatization of the monadic theory of ordinals < ω2.Charles Zaiontz - 1983 - Mathematical Logic Quarterly 29 (6):337-356.
The monadic second order theory of all countable ordinals.J. Richard Büchi - 1973 - New York,: Springer. Edited by Dirk Siefkes.
The complete extensions of the monadic second order theory of countable ordinals.J. Richard Büchi & Dirk Siefkes - 1983 - Mathematical Logic Quarterly 29 (5):289-312.
Relating word and tree automata.Orna Kupferman, Shmuel Safra & Moshe Y. Vardi - 2006 - Annals of Pure and Applied Logic 138 (1):126-146.
J. Richard Büchi. Finite automata, their algebras and grammars. Towards a theory of formal expressions. Edited by Dirk Siefkes. Springer-Verlag, New York, Berlin, Heidelberg, etc., 1989, xii + 316 pp. [REVIEW]Stephen L. Bloom - 1991 - Journal of Symbolic Logic 56 (2):762-763.
Finite State Automata and Monadic Definability of Singular Cardinals.Itay Neeman - 2008 - Journal of Symbolic Logic 73 (2):412 - 438.
J. Richard Büchi. Weak second-order arithmetic and finite automata. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 6 , pp. 66–92. - J. Richard Büchi. On a decision method in restricted second order arithmetic. Logic, methodology and philosophy of science, Proceedings of the 1960 International Congress, edited by Ernest Nagel, Patrick Suppes, and Alfred Tarski, Stanford University Press, Stanford, Calif., 1962, pp. 1–11. [REVIEW]Robert McNaughton - 1963 - Journal of Symbolic Logic 28 (1):100-102.
J. Richard Buchi and Lawrence H. Landweber. Solving sequential conditions by finite-state strategies. Transactions of the American Mathematical Society, vol. 138 , pp. 295–311. [REVIEW]Robert McNaughton - 1972 - Journal of Symbolic Logic 37 (1):200-201.
Finite Automata, Formal Logic, and Circuit Complexity.Howard Straubing - 1994 - Birkhäuser.
Büchi J. Richard and Wright Jesse B.. The theory of proportionality as an abstraction of group theory. Mathematische Annalen, vol. 130 no. 2 , pp. 102–108. [REVIEW]Hugo Ribeiro - 1957 - Journal of Symbolic Logic 22 (4):369-369.

Analytics

Added to PP
2013-11-03

Downloads
27 (#832,152)

6 months
2 (#1,691,363)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

No references found.

Add more references