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

    This entry is not archived by us. If you are the author and have permission from the publisher, we recommend that you archive it. Many publishers automatically grant permission to authors to archive pre-prints. By uploading a copy of your work, you will enable us to better index it, making it easier to find.

    Upload a copy of this work     Papers currently archived: 104,766

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.
A note on the $\Pi^0_2$ -induction rule.Ulrich Kohlenbach - 1995 - Archive for Mathematical Logic 34 (4):279-283.
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
26 (#940,934)

6 months
6 (#737,122)

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 - 1987 - 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