Ivo Thomas. Two arithmetical techniques with numbered classes. The journal of symbolic logic, vol. 27 no. 4 , pp. 437–438

Journal of Symbolic Logic 30 (3):376 (1965)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2269643

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,349

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

Review: Gerald B. Standley, Two Arithmetical Techniques with Numbered Classes. [REVIEW]Ivo Thomas - 1965 - Journal of Symbolic Logic 30 (3):376-376.
Two Arithmetical Techniques with Numbered Classes.Gerald B. Standley - 1965 - Journal of Symbolic Logic 30 (3):376-376.
Two arithmetical techniques with numbered classes.Gerald B. Standley - 1962 - Journal of Symbolic Logic 27 (4):437-438.
A Proof of the Compactness Theorem for Arithmetical Classes.H. Rasiowa - 1955 - Journal of Symbolic Logic 20 (1):78-78.
Review: H. Rasiowa, A Proof of the Compactness Theorem for Arithmetical Classes. [REVIEW]Solomon Feferman - 1955 - Journal of Symbolic Logic 20 (1):78-78.
Review: Kurt Bing, On Arithmetical Classes Not Closed Under Direct Union. [REVIEW]Abraham Robinson - 1956 - Journal of Symbolic Logic 21 (3):321-321.
Rasiowa H.. A proof of the compactness theorem for arithmetical classes. Fundamenta mathematicae, vol. 39 , pp. 8–14.Solomon Feferman - 1955 - Journal of Symbolic Logic 20 (1):78-78.
Bing Kurt. On arithmetical classes not closed under direct union. Proceedings of the American Mathematical Society, vol. 6 , pp. 836–846. [REVIEW]Abraham Robinson - 1956 - Journal of Symbolic Logic 21 (3):321-321.
A Non-arithmetical Gödel Logic.Peter Hájek - 2005 - Logic Journal of the IGPL 13 (4):435-441.
Arithmetical interpretations of dynamic logic.Petr Hájek - 1983 - Journal of Symbolic Logic 48 (3):704-713.
Review: Michael O. Rabin, Arithmetical Extensions with Prescribed Cardinality. [REVIEW]Thomas Frayne - 1960 - Journal of Symbolic Logic 25 (2):169-169.
Review: N. A. Sanin, Some Operations on Logico-Arithmetical Formulas; N. A. Sanin, On Imbeddings of the Classical Logico-Arithmetical Calculus into the Constructive Logico-Arithmetical Calculus. [REVIEW]Andrzej Mostowski - 1954 - Journal of Symbolic Logic 19 (4):297-298.
Burgess' PV Is Robinson's Q.Mihai Ganea - 2007 - Journal of Symbolic Logic 72 (2):619 - 624.
Rabin Michael O.. Arithmetical extensions with prescribed cardinality. Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings, Series A, vol. 62 , pp. 439–446; also Indagationes mathematicae, vol. 21 , pp. 439–446. [REVIEW]Thomas Frayne - 1960 - Journal of Symbolic Logic 25 (2):169-169.
George Barmpalias, Andrew E. M. Lewis and Keng Meng NG. The importance of Π 0 1 classes in effective randomness. The Journal of Symbolic Logic, vol. 75 (2010), pp. 387–400. - George Barmpalias, Andrew E. M. Lewis and Frank Stephan. Π 0 1 classes, LR degrees and Turing degrees. Annals of Pure and Applied Logic, vol. 156 (2008), pp. 21–38. - Antonin Kučera. Measure, Π 0 1 classes and complete extensions of PA. Recursion Theory Week (Oberwofach, 1984). Lecture Notes in Mathematics, vol. 1141. Springer, Berlin, 1985, pp. 245–259. - Frank Stephan. Martin-Löf randomness and PA complete sets. Logic Colloquium '02. Lecture Notes in Logic, vol. 27, Association for Symbolic Logic, La Jolla, CA, 2006, pp. 342–348. [REVIEW]Douglas Cenzer - 2012 - Bulletin of Symbolic Logic 18 (3):409-412.

Analytics

Added to PP
2016-06-30

Downloads
5 (#1,505,296)

6 months
1 (#1,533,009)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references