Functoroids and ptykoids

Archive for Mathematical Logic 33 (6):413-425 (1995)
  Copy   BIBTEX

Abstract

A type of first-order analogues of ptykes, namely ‘ptykoids’, are introduced, and bounds are found for the ptykoids of level 1 and 2 which can be proved to be ptykoids in Peano arithmetic. This gives rise toΠ 3 0 andΠ 4 0 independence results

Categories

Keywords

Reprint years

DOI

10.1007/bf02390457

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 100,665

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

A proof-theoretical analysis of ptykes.J. R. G. Catlow - 1994 - Archive for Mathematical Logic 33 (1):57-79.
A note on sharply bounded arithmetic.Jan Johannsen - 1994 - Archive for Mathematical Logic 33 (2):159-165.
Ein Wohlordnungsbeweis für das OrdinalzahlensystemT(J).K. Schütte - 1988 - Archive for Mathematical Logic 27 (1):5-20.
A note on theΠ 2 0 -induction rule.Ulrich Kohlenbach - 1995 - Archive for Mathematical Logic 34 (4):279-283.
Π 2 1 -Logic and uniformization in the analytical hierarchy.J. P. Ressayre - 1989 - Archive for Mathematical Logic 28 (2):99-117.
Mathematical Incompleteness Results in First-Order Peano Arithmetic: A Revisionist View of the Early History.Saul A. Kripke - 2021 - History and Philosophy of Logic 43 (2):175-182.
On predicate provability logics and binumerations of fragments of Peano arithmetic.Taishi Kurahashi - 2013 - Archive for Mathematical Logic 52 (7-8):871-880.
Ptykes in GödelsT und Definierbarkeit von Ordinalzahlen.Peter Päppinghaus - 1989 - Archive for Mathematical Logic 28 (2):119-141.

Analytics

Added to PP
2013-12-01

Downloads
22 (#957,496)

6 months
7 (#666,407)

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

Proof theory.Gaisi Takeuti - 1975 - New York, N.Y., U.S.A.: Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co..
Proof Theory.Gaisi Takeuti - 1990 - Studia Logica 49 (1):160-161.
A proof-theoretical analysis of ptykes.J. R. G. Catlow - 1994 - Archive for Mathematical Logic 33 (1):57-79.

Add more references