Graduate studies at Western
Notre Dame Journal of Formal Logic 35 (4):496-522 (1994)
|Abstract||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)|
|Through your library||Configure|
Similar books and articles
Zlatan Damnjanovic (1997). Elementary Realizability. Journal of Philosophical Logic 26 (3):311-339.
Zlatan Damnjanovic (1995). Minimal Realizability of Intuitionistic Arithmetic and Elementary Analysis. Journal of Symbolic Logic 60 (4):1208-1241.
Ganesh Baliga, John Case, Sanjay Jain & Mandayam Suraj (1994). Machine Learning of Higher-Order Programs. Journal of Symbolic Logic 59 (2):486-500.
Kenneth A. Bowen (1980). Interpolation in Loop-Free Logic. Studia Logica 39 (2-3):297 - 310.
Lou van den Dries (1988). On the Elementary Theory of Restricted Elementary Functions. Journal of Symbolic Logic 53 (3):796-808.
Lou van Den Dries (1988). On the Elementary Theory of Restricted Elementary Functions. Journal of Symbolic Logic 53 (3):796 - 808.
Michael J. Lieberman (2013). Rank Functions and Partial Stability Spectra for Tame Abstract Elementary Classes. Notre Dame Journal of Formal Logic 54 (2):153-166.
Teed Rockwell (2005). Attractor Spaces as Modules: A Semi-Eliminative Reduction of Symbolic AI to Dynamic Systems Theory. [REVIEW] Minds and Machines 15 (1):23-55.
Cees van Leeuwen (2007). What Needs to Emerge to Make You Conscious? Journal of Consciousness Studies 14 (1):115-136.
S. Matthew Liao (2009). The Loop Case and Kamm's Doctrine of Triple Effect. Philosophical Studies 146 (2):223 - 231.
Michael Anderson, Logic, Self-Awareness and Self-Improvement: The Metacognitive Loop Andthe Problem of Brittleness.
K. Gavroglu (1976). Research Guiding Principles in Modern Physics: Case Studies in Elementary Particle Physics. Journal for General Philosophy of Science 7 (2):223-248.
Lawrence C. Paulson (1987). Logic and Computation: Interactive Proof with Cambridge Lcf. Cambridge University Press.
James Justus (2005). Qualitative Scientific Modeling and Loop Analysis. Philosophy of Science 72 (5):1272-1286.
Added to index2010-08-24
Total downloads7 ( #142,359 of 723,929 )
Recent downloads (6 months)1 ( #61,087 of 723,929 )
How can I increase my downloads?