Weak Second‐Order Arithmetic and Finite Automata

Mathematical Logic Quarterly 6 (1-6):66-92 (1960)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1002/malq.19600060105

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,323

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

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.
Weak Second-Order Arithmetic and Finite Automata.J. Richard Buchi - 1963 - Journal of Symbolic Logic 28 (1):100-102.
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.
Uniform versions of some axioms of second order arithmetic.Nobuyuki Sakamoto & Takeshi Yamazaki - 2004 - Mathematical Logic Quarterly 50 (6):587-593.
Weak cardinality theorems.Till Tantau - 2005 - Journal of Symbolic Logic 70 (3):861-878.
Weak Cardinality Theorems.Till Tantau - 2005 - Journal of Symbolic Logic 70 (3):861 - 878.
Finite State Automata and Monadic Definability of Singular Cardinals.Itay Neeman - 2008 - Journal of Symbolic Logic 73 (2):412 - 438.
Finite automata, real time processes and counting problems in bounded arithmetics.Mirosław Kutyłowski - 1988 - Journal of Symbolic Logic 53 (1):243-258.
Uniform versions of some axioms of second order arithmetic.Nobuyuki Sakamoto & Takeshi Yamakazi - 2004 - Mathematical Logic Quarterly 50 (6):587-593.
Modifiable automata self-modifying automata.J.-P. Moulin - 1992 - Acta Biotheoretica 40 (2-3):195-204.
An Independence Result on Weak Second Order Bounded Arithmetic.Satoru Kuroda - 2001 - Mathematical Logic Quarterly 47 (2):183-186.
Theories of arithmetics in finite models.Michał Krynicki & Konrad Zdanowski - 2005 - Journal of Symbolic Logic 70 (1):1-28.
Algebraic Methods and Bounded Formulas.Domenico Zambella - 1997 - Notre Dame Journal of Formal Logic 38 (1):37-48.
Finite Automata.F. H. George - 1958 - Philosophy 33 (124):57 - 59.
Deterministic automata simulation, universality and minimality.Cristian Calude, Elena Calude & Bakhadyr Khoussainov - 1997 - Annals of Pure and Applied Logic 90 (1-3):263-276.

Analytics

Added to PP
2013-12-01

Downloads
107 (#165,462)

6 months
20 (#132,940)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Monadic generalized spectra.Ronald Fagin - 1975 - Mathematical Logic Quarterly 21 (1):89-96.
Generalized quantifiers.Dag Westerståhl - 2008 - Stanford Encyclopedia of Philosophy.
Aural Pattern Recognition Experiments and the Subregular Hierarchy.James Rogers & Geoffrey K. Pullum - 2011 - Journal of Logic, Language and Information 20 (3):329-342.
Cardinal arithmetic in the style of Baron Von münchhausen.Albert Visser - 2009 - Review of Symbolic Logic 2 (3):570-589.
Turing computations on ordinals.Peter Koepke - 2005 - Bulletin of Symbolic Logic 11 (3):377-397.

View all 56 citations / Add more citations

References found in this work

Mathematical logic.Willard Van Orman Quine - 1951 - Cambridge,: Harvard University Press.
Mathematical Logic.Morton G. White & Willard Van Orman Quine - 1942 - Philosophical Review 51 (1):74.
Decidability and essential undecidability.Hilary Putnam - 1957 - Journal of Symbolic Logic 22 (1):39-54.

Add more references