Characterization of the Relations in Grzegorczyk's Hierarchy Revisited

Mathematical Logic Quarterly 43 (1):73-77 (1997)
  Copy   BIBTEX

Abstract

In his 1953's paper, Grzegorczyk proved that a certain kind of relation classes of Grzegorczyk's hierarchy could be characterized inductively. We give a simpler version of this characterization

Categories

Keywords

Reprint years

DOI

10.1002/malq.19970430109

Links

PhilArchive



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

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

An Analysis of the W -Hierarchy.Yijia Chen, Jörg Flum & Martin Grohe - 2007 - Journal of Symbolic Logic 72 (2):513 - 534.
Ordinal recursion, and a refinement of the extended Grzegorczyk hierarchy.S. S. Wainer - 1972 - Journal of Symbolic Logic 37 (2):281-292.
Equivalence structures and isomorphisms in the difference hierarchy.Douglas Cenzer, Geoffrey LaForte & Jeffrey Remmel - 2009 - Journal of Symbolic Logic 74 (2):535-556.
Representing and reasoning over a taxonomy of part–whole relations.C. Maria Keet & Alessandro Artale - 2008 - Applied ontology 3 (1-2):91-110.
P-hierarchy on β ω.Andrzej Starosolski - 2008 - Journal of Symbolic Logic 73 (4):1202-1214.
A Transformational Characterization of Markov Equivalence for Directed Maximal Ancestral Graphs.Jiji Zhang & Peter Spirtes - unknown
The polynomial and linear hierarchies in models where the weak pigeonhole principle fails.Leszek Aleksander Kołodziejczyk & Neil Thapen - 2008 - Journal of Symbolic Logic 73 (2):578-592.
Hierarchical structures.Stanley N. Salthe - 2012 - Axiomathes 22 (3):355 - 383.
Quantum entanglement and a metaphysics of relations.Michael Esfeld - 2004 - Studies in History and Philosophy of Science Part B: Studies in History and Philosophy of Modern Physics 35 (4):601-617.
A characterization of logical constants is possible.Gila Sher - 2003 - Theoria 18 (2):189-198.
Neutral relations revisited.Fraser MacBride - 2007 - Dialectica 61 (1):25–56.
Monadic second order definable relations on the binary tree.Hans Läuchli & Christian Savioz - 1987 - Journal of Symbolic Logic 52 (1):219-226.
Presentism and Causation Revisited.Sam Baron - 2012 - Philosophical Papers 41 (1):1-21.
Diagonal Actions and Borel Equivalence Relations.Longyun Ding & Su Gao - 2006 - Journal of Symbolic Logic 71 (4):1081 - 1096.

Analytics

Added to PP
2013-10-31

Downloads
21 (#727,179)

6 months
4 (#787,091)

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

Subrecursion: functions and hierarchies.H. E. Rose - 1984 - New York: Oxford University Press.
Some Classes of Recursive Functions.Andrzej Grzegorczyk - 1955 - Journal of Symbolic Logic 20 (1):71-72.

Add more references