Notre Dame Journal of Formal Logic 35 (4):496-522 (1994)
We study a hierarchy of Kalmàr elementary functions on integers based on a classification of LOOP programs of limited complexity, namely those in which the depth of nestings of LOOP commands does not exceed two. It is proved that -place functions in can be enumerated by a single function in , and that the resulting hierarchy of elementary predicates (i.e., functions with 0,1-values) is proper in that there are predicates that are not in . Along the way the rudimentary predicates of Smullyan are classified as
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
References found in this work BETA
No references found.
Citations of this work BETA
No citations found.
Similar books and articles
Minimal Realizability of Intuitionistic Arithmetic and Elementary Analysis.Zlatan Damnjanovic - 1995 - Journal of Symbolic Logic 60 (4):1208-1241.
Machine Learning of Higher-Order Programs.Ganesh Baliga, John Case, Sanjay Jain & Mandayam Suraj - 1994 - Journal of Symbolic Logic 59 (2):486-500.
On the Elementary Theory of Restricted Elementary Functions.Lou van den Dries - 1988 - Journal of Symbolic Logic 53 (3):796-808.
On the Elementary Theory of Restricted Elementary Functions.Lou van Den Dries - 1988 - Journal of Symbolic Logic 53 (3):796 - 808.
Rank Functions and Partial Stability Spectra for Tame Abstract Elementary Classes.Michael J. Lieberman - 2013 - Notre Dame Journal of Formal Logic 54 (2):153-166.
Attractor Spaces as Modules: A Semi-Eliminative Reduction of Symbolic AI to Dynamic Systems Theory. [REVIEW]Teed Rockwell - 2004 - Minds and Machines 15 (1):23-55.
What Needs to Emerge to Make You Conscious?Cees van Leeuwen - 2007 - Journal of Consciousness Studies 14 (1):115-136.
The Loop Case and Kamm's Doctrine of Triple Effect.S. Matthew Liao - 2009 - Philosophical Studies 146 (2):223 - 231.
Logic, Self-Awareness and Self-Improvement: The Metacognitive Loop Andthe Problem of Brittleness.Michael Anderson - manuscript -
Research Guiding Principles in Modern Physics: Case Studies in Elementary Particle Physics.K. Gavroglu - 1976 - Journal for General Philosophy of Science / Zeitschrift für Allgemeine Wissenschaftstheorie 7 (2):223-248.
Logic and Computation: Interactive Proof with Cambridge Lcf.Lawrence C. Paulson - 1987 - Cambridge University Press.
Qualitative Scientific Modeling and Loop Analysis.James Justus - 2005 - Philosophy of Science 72 (5):1272-1286.
Added to index2010-08-24
Total downloads12 ( #359,663 of 2,132,862 )
Recent downloads (6 months)1 ( #388,508 of 2,132,862 )
How can I increase my downloads?
There are no threads in this forum
Nothing in this forum yet.