Systems of Logic Based on Ordinals

Journal of Symbolic Logic 4 (3):128-129 (1939)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2266472

Links

PhilArchive



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

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: A. M. Turing, Systems of Logic Based on Ordinals. [REVIEW]Andrzej Mostowski - 1939 - Journal of Symbolic Logic 4 (3):128-129.
Turing A. M.. Systems of logic based on ordinals. Proceedings of the London Mathematical Society, 2. Folge, Bd. 45, Heft 3 , S. 161–228. [REVIEW]Andrzej Mostowski - 1939 - Journal of Symbolic Logic 4 (3):128-129.
Systems of logic based on ordinals..Alan Turing - 1939 - London,: Printed by C.F. Hodgson & son.
A comparison of well-known ordinal notation systems for ε0.Gyesik Lee - 2007 - Annals of Pure and Applied Logic 147 (1):48-70.
Countable partition ordinals.Rene Schipperus - 2010 - Annals of Pure and Applied Logic 161 (10):1195-1215.
Proof theory for theories of ordinals—I: recursively Mahlo ordinals.Toshiyasu Arai - 2003 - Annals of Pure and Applied Logic 122 (1-3):1-85.
A Covering Lemma for HOD of K (ℝ).Daniel W. Cunningham - 2010 - Notre Dame Journal of Formal Logic 51 (4):427-442.
A comparison of two systems of ordinal notations.Harold Simmons - 2004 - Archive for Mathematical Logic 43 (1):65-83.
Register computations on ordinals.Peter Koepke & Ryan Siders - 2008 - Archive for Mathematical Logic 47 (6):529-548.
Review: Akiko Kino, On Definability of Ordinals in Logic with Infinitely Long Expressions; Akiko Kino, Correction to a Paper on Definability of Ordinals in Infinite Logic. [REVIEW]Carol Karp - 1970 - Journal of Symbolic Logic 35 (2):341-341.
Systems of predicative analysis, II: Representations of ordinals.Solomon Feferman - 1968 - Journal of Symbolic Logic 33 (2):193-220.
Alan Turing's systems of logic: the Princeton thesis.Andrew W. Appel (ed.) - 2012 - Woodstock, England: Princeton University Press.
Operating on the universe.Narciso Garcia - 1988 - Archive for Mathematical Logic 27 (1):61-68.
Fixed points in Peano arithmetic with ordinals.Gerhard Jäger - 1993 - Annals of Pure and Applied Logic 60 (2):119-132.
Proof theory for theories of ordinals II: Π3-reflection.Toshiyasu Arai - 2004 - Annals of Pure and Applied Logic 129 (1-3):39-92.

Analytics

Added to PP
2017-02-21

Downloads
27 (#576,320)

6 months
21 (#122,285)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Computability and recursion.Robert I. Soare - 1996 - Bulletin of Symbolic Logic 2 (3):284-321.
A renaissance of empiricism in the recent philosophy of mathematics.Imre Lakatos - 1976 - British Journal for the Philosophy of Science 27 (3):201-223.
Arithmetical Reflection and the Provability of Soundness.Walter Dean - 2015 - Philosophia Mathematica 23 (1):31-64.
Naïve validity.Julien Murzi & Lorenzo Rossi - 2017 - Synthese 199 (Suppl 3):819-841.

View all 47 citations / Add more citations

References found in this work

No references found.

Add more references