RANDOM SETS IN SUBRECURSIVE HIERARCHIES, Successive modifications of Church s definition of a random sequence are considered in terms of their relative position in the Ritchie hierarchy of Kalmar http://stinet.dtic.mil/oai/oai?verb=getRecord&metadataPrefix=html&identifier=AD0
Random Sets In Subrecursive Hierarchies A general result is derived governing the classification of Church random sequences in subrecursive hierarchies which include the elementary functions, http://portal.acm.org/citation.cfm?id=321541.321551
JSTOR Random Sets In Subrecursive Hierarchies. Random sets in subrecursive hierarchies. Journal of the Association for Computing Machinery, vol. 16 (1969), pp. 621630. As in the paper reviewed above, http://links.jstor.org/sici?sici=0022-4812(197506)40:2<249:RSISH>2.0.CO;2-J
Project: Phase Transitions In Logic And Combinatorics It contains the sharpest threshold for subrecursive hierarchies which can be found in the literature. paper 5 appeared in the JSL. http://cage.ugent.be/~weierman//phase.html
A Note On Comparison Of Subrecursive Hierarchies. D2R Server A Note on Comparison of subrecursive hierarchies. Resource URI http//dblp.l3s.de/d2r/resource/publications/journals/ipl/Tsichritzis71 http://dblp.l3s.de/d2r/resource/publications/journals/ipl/Tsichritzis71
Logic In Leeds - Postgraduate Opportunities (ii) subrecursive hierarchies, measuring and classifying computable objects and their algorithms according to their logical and computational complexity. http://www.maths.leeds.ac.uk/pure/logic/postgrad.html
Libra: Random Sets In Subrecursive Hierarchies Random Sets in subrecursive hierarchies(1969). Order By. Year, Rank. Year = 1997. Resource Bounded Randomness and Computational Complexity(1997) http://libra.msra.cn/papercited.aspx?id=786642
Search Result Query title = Random Sets in subrecursive hierarchies. 1, EE Robert A. Di Paola Random Sets in subrecursive hierarchies. http://www.informatik.uni-trier.de/ley/dbbin/dblpquery.cgi?title=Random Sets in
03Dxx 68Q17; 03D20 Recursive functions and relations, subrecursive hierarchies 03D55 hierarchies; 03D60 Computability and recursion theory on ordinals, http://www.ams.org/msc/03Dxx.html
Abstracts Of Papers And Notes Abstract A brief introduction to subrecursive hierarchies and related topics, but not intended as a detailed account. The notes deal with such topics as http://www.cs.man.ac.uk/~hsimmons/DOCUMENTS/papersandnotes.html
1991 Mathematics Subject Classification (MSC 1991) 03D20 Recursive functions and relations, subrecursive hierarchies 03D55 hierarchies; 03D60 Recursion theory on ordinals, admissible sets, etc. http://www.zblmath.fiz-karlsruhe.de/MATH/msc/msc91
CiE-CS: Special Sessions Andreas Weiermann (Utrecht) Phase transition results for subrecursive hierarchies and rapidly growing Ramsey functions. Special Session on Real Computation http://www.illc.uva.nl/CiE/index.php?page=6
Home Page Of Andreas Weiermann Pi^1_2logic, subrecursive hierarchies, provably recursive functions, which deal with growth rate classifactions of the slow growing hierarchy. http://wwwmath1.uni-muenster.de/u/weiermann/
Seminars Transfinite subrecursive hierarchies of bounding functions provide a linear scale against which prooftheoretic strength can be measured and compared. http://math.nju.edu.cn/~yuliang/Seminar.html
Program On Computation Prospects Of Infinity - IMS algorithmic randomness, subrecursive hierarchies from Gentzenstyle proof reducibilities in infinite levels of the Ershov difference hierarchy http://www.ims.nus.edu.sg/Programs/infinity/abstracts.htm
03Dxx 03D20, Recursive functions and relations, subrecursive hierarchies. 03D25, Recursively (computably) enumerable sets and degrees http://www.impan.gov.pl/MSC2000/03Dxx.html
Unixpeople Dennis Ritchie, B.A. Physics, Harvard 63;Ph.D. Appl. Math, Harvard 68 (diss on subrecursive hierarchies of functions);BL 68, C, fork-exec, set-userid, db, http://www.princeton.edu/~mike/unixpeople.htm
Home Page Of Georg Moser On the other hand I ve worked on ordinal proof theory, in particular subrecursive hierarchies, hierarchy comparison theorems and Hilbert s epsilon calculus. http://cl-informatik.uibk.ac.at/~georg/
RAND | Reports & Bookstore | Research Memoranda Random Sets in subrecursive hierarchies. icon Full Document. RealTime Recognition of Handprinted Text Program Documentation. icon Full Document http://www.rand.org/pubs/research_memoranda/index7.html
The Mathematics Genealogy Project - Joel Robbin Dissertation subrecursive hierarchies. Advisor Alonzo Church. Student(s) Click here to see the students listed in chronological order. http://genealogy.math.ndsu.nodak.edu/id.php?id=8036
Homepage For Andreas Weiermann Postdocs involved, Georg Moser and Ingo Lepper. A copy of Lepper s thesis can be found here . 4. subrecursive hierarchies. Postdoc involved, Georg Moser http://cage.rug.ac.be/~weierman/
Logic Colloquium '99 : Scientific Program Andreas Weiermann (Münster) Proof theory and subrecursive hierarchies. Abstract In the first part we survey how local predicativity style methods can be http://www.cwi.nl/events/1999/lc99/scientific_program.html
[FOM] Natural R.e. Degrees The topics are a. algorithmic randomness. b. reverse mathematics. c. subrecursive hierarchies. d. computational complexity. 6. http://cs.nyu.edu/pipermail/fom/2005-February/008809.html
Karl-Heinz Niggl S Home Page subrecursive functions on partial sequences, (AML 99) (APAL 95); subrecursive hierarchies on the partial continuous functionals, (PhD thesis) http://eiche.theoinf.tu-ilmenau.de/~niggl/index.html
MathNet-Mathematical Subject Classification 03D20, Recursive functions and relations, subrecursive hierarchies. 03D25, Recursively enumerable sets and degrees. 03D30, Other degrees; reducibilities http://basilo.kaist.ac.kr/API/?MIval=research_msc_1991_out&class=03-XX
Information Technology Ph.D. universal Turing machines; unsolvable problems; time and space complexity of computations; NPcompleteness problems; subrecursive hierarchies. http://www.uncc.edu/gradmiss/2004GradCatalog/InformationTechnologyPhD-04-05Catal
List KWIC DDC22 510 And MSC+ZDM E-N Lexical Connection functions and relations, subrecursive hierarchies recursive 03D20 functions and stability; attractors, repellers Lyapunov 37B25 http://www.math.unipd.it/~biblio/kwic/msc-cdd/dml2_11_22.htm
List KWIC DDC And MSC Lexical Connection relations, subrecursive hierarchies recursive functions and 03D20 relationship to integrable systems 14H70 relationship to Lie algebras and finite simple http://www.mi.imati.cnr.it/~alberto/dml_11_43.htm
HK -= [Hacker Kulture] =- The subject of my 1968 doctoral thesis was subrecursive hierarchies of functions. My undergraduate experience convinced me that I was not smart enough to be http://www.dvara.net/HK/linkguru.asp
Infinities And Infinitesimals - Sci.math.research | Google Groups functions in subrecursive hierarchies, computable analysis, and that sort of stuff in general, are studied? Aatu Koskensilta (aatu.koskensi @xortec.fi) http://groups.google.co.vi/group/sci.math.research/msg/e152d7fc453697ff
Infinities And Infinitesimals - Sci.math.research | Google Groups recursive functions in subrecursive hierarchies, computable analysis, and that sort of stuff in general, are studied? Of course, he probably isn t. http://groups.google.lk/group/sci.math.research/msg/788da1afb229891b
September 2006 - Posts - Norman Sasono The subject of my 1968 doctoral thesis was subrecursive hierarchies of functions. He added My undergraduate experience convinced me that I was not smart http://geeks.netindonesia.net/blogs/norman/archive/2006/09.aspx
MPIM - Seminar Talks almost everywhere domination, hyperarithmeticity, resourcebounded computational complexity, Kolmogorov complexity, and subrecursive hierarchies. http://www.mpim-bonn.mpg.de/Events/This Year and Prospect/Trimestre on methods o
Happenings After a doctoral dissertation on subrecursive hierarchies of functions, Ritchie joined Bell Telephone Laboratories, working on the design of computer http://doi.ieeecomputersociety.org/10.1109/MAHC.1995.10012
One Man Hacking: Yet Another Math Milestone The subject of my 1968 doctoral thesis was subrecursive hierarchies of functions. Kernighan is a computer Science Prof at Cambridge. http://ravimohan.blogspot.com/2006/02/yet-another-math-milestone.html
RDF Description Of A Note On Comparison Of Subrecursive Inf. Process. Lett. A Note on Comparison of subrecursive hierarchies. A Note on Comparison of subrecursive hierarchies. 1971. http://www4.wiwiss.fu-berlin.de/dblp/data/record/journals/ipl/Tsichritzis71
PCC 06 - Preliminary Program Mathias Barra, On some small subrecursive hierarchies. Ulrich Berger, Strong normalisation via domaintheoretic computability predicates http://pcc.w3.rz.unibw-muenchen.de/program.html
PlanetMath: Primitive Recursive Function AMS MSC, 03D20 (Mathematical logic and foundations Computability and recursion theory Recursive functions and relations, subrecursive hierarchies) http://planetmath.org/encyclopedia/PrimitiveRecursive.html
Selected Talks (Lars Kristiansen) ComplexityTheoretic hierarchies Copenhagen Programming Language Seminar, A jump operator on honest subrecursive degrees. ASL Logic Colloquium 95, http://www.iu.hio.no/~larskri/foredrag.html
Talk 1998, August 24 28 A finite hierarchy of recursively enumerable real numbers, 1993, November 15 The hierarchies of subrecursive functions. http://www-sst.informatik.tu-cottbus.de/~wwwti/zheng/talk.html
An Analog Characterization Of The Subrecursive Functions An Analog Characterization of the subrecursive Functions. Author(s) then it can compute functions on any given level of the Grzegorczyk hierarchy. http://www.santafe.edu/research/publications/wpabstract/200001005
An Analog Characterization Of The Subrecursive Functions then it can compute functions on any given level of the Grzegorczyk hierarchy. systems that compute them, and classical sets of subrecursive functions. http://ideas.repec.org/p/wop/safiwp/00-01-005.html
