Decision methods in the theory of ordinals
Open Access
- 1 January 1965
- journal article
- Published by American Mathematical Society (AMS) in Bulletin of the American Mathematical Society
- Vol. 71 (5), 767-771
- https://doi.org/10.1090/s0002-9904-1965-11384-2
Abstract
References [Enhancements On Off] (What's this?)Keywords
This publication has 5 references indexed in Scilit:
- Transfinite Automata Recursions and Weak Second Order Theory of OrdinalsPublished by Springer Nature ,1990
- Symposium on Decision Problems: On a Decision Method in Restricted Second Order ArithmeticPublished by Elsevier ,1966
- Decision Problems of Finite Automata Design and Related ArithmeticsTransactions of the American Mathematical Society, 1961
- Weak Second‐Order Arithmetic and Finite AutomataMathematical Logic Quarterly, 1960
- The first order properties of products of algebraic systemsFundamenta Mathematicae, 1959