Home  Mathematical_Logic  Subrecursive Hierarchies 
Page 1 164 of 64 1 
1. 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 
2. 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 
3. 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=00224812(197506)40:2<249:RSISH>2.0.CO;2J 
4. Review Robert A. DiPaola, Random Sets In Subrecursive Hierarchies Robert A. DiPaola, Random Sets in subrecursive hierarchies. Fulltext Access via JSTOR (no additional login). Go to this article in JSTOR http://projecteuclid.org/handle/euclid.jsl/1183739409  

5. 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  

6. 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 
7. 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  

8. 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 
9. Ordinal Complexity Of Recursive Programs And Their Termination Proofs The treatment is based on that given by Dennis Jones and Wainer in their paper ``subrecursive hierarchies via Direct Limits . The idea of a decomposable http://www.lfcs.inf.ed.ac.uk/reports/92/ECSLFCS92196/  

10. Search Result Query title = Random Sets in subrecursive hierarchies. 1, EE Robert A. Di Paola Random Sets in subrecursive hierarchies. http://www.informatik.unitrier.de/ley/dbbin/dblpquery.cgi?title=Random Sets in 
11. OZSL Orgnanizes, In Collaboration With The Heyting Foundation A Title subrecursive hierarchies and Independence Results Abstract We give a short introduction into subrecursive hierarchies. http://www.phil.uu.nl/~ruben/OZSL/schoolweek/  

12. Hierarchies And Machine Description Of Small Subrecursive Classes Hierarchy gap results for small subrecursive classes are given in this work for analogs of Grzegorczyk classes for simultaneous (vector) and word bounded http://logic.ru/en/node/328 
13. IngentaConnect A Uniform Approach For Characterizing The Provably Total NumberT In this article we show how to extract with the use of the BuchholzCichonWeiermann approach to subrecursive hierarchies from Rathjen s 1991 ordinal http://www.ingentaconnect.com/content/klu/stud/1999/00000062/00000003/00231230;j 
14. 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  

15. 91SUB.TEX Renamed Msc.new EDITED FOR SCREEN USE 112890 % 1129 subrecursive hierarchies 03D25 Recursively enumerable sets and degrees 03D30 Other isols 03D55 hierarchies 03D60 Recursion theory on ordinals, http://www.math.uiuc.edu/documenta/AMSMSC/MSC91 
16. 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  

17. 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.fizkarlsruhe.de/MATH/msc/msc91  

18. CiECS: 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 
19. 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.unimuenster.de/u/weiermann/  

20. 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  

21. Wikipedia:WikiProject Mathematics/PlanetMath Exchange/03XX Mathematical Logic A PM arithmetical hierarchy is a proper hierarchy, id=3273 WP arithmetical .. edit 03D20 Recursive functions and relations, subrecursive hierarchies http://en.wikipedia.org/wiki/Wikipedia:WikiProject_Mathematics/PlanetMath_Exchan  

22. 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  

23. 03Dxx 03D20, Recursive functions and relations, subrecursive hierarchies. 03D25, Recursively (computably) enumerable sets and degrees http://www.impan.gov.pl/MSC2000/03Dxx.html  

24. Unixpeople Dennis Ritchie, B.A. Physics, Harvard 63;Ph.D. Appl. Math, Harvard 68 (diss on subrecursive hierarchies of functions);BL 68, C, forkexec, setuserid, db, http://www.princeton.edu/~mike/unixpeople.htm  

25. 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://clinformatik.uibk.ac.at/~georg/  

26. 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  

27. 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 
28. Department Of Mathematics And Statisitcs  Faculty Members In Pure Math Ordinary and higher recursion theory (computability), subrecursive hierarchies, computational complexity. F. van Breugel, Ph.D. (V.U. Amst.). http://www.math.yorku.ca/new/people/math.htm  

29. 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/  

30. 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  

31. [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/2005February/008809.html  

32. HeiDOK 03D20 Recursive functions and relations, subrecursive hierarchies ( 0 Dok. ) 03D25 Recursively (computably) enumerable sets and degrees ( 0 Dok. http://archiv.ub.uniheidelberg.de/volltextserver/msc_ebene3.php?zahl=03D&anzahl 
33. KarlHeinz 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.tuilmenau.de/~niggl/index.html 
34. MathNetMathematical 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=03XX 
35. 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/InformationTechnologyPhD0405Catal  

36. List KWIC DDC22 510 And MSC+ZDM EN Lexical Connection functions and relations, subrecursive hierarchies recursive 03D20 functions and stability; attractors, repellers Lyapunov 37B25 http://www.math.unipd.it/~biblio/kwic/msccdd/dml2_11_22.htm  

37. 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  

38. 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  

39. 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  

40. 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  

41. 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  

42. MPIM  Seminar Talks almost everywhere domination, hyperarithmeticity, resourcebounded computational complexity, Kolmogorov complexity, and subrecursive hierarchies. http://www.mpimbonn.mpg.de/Events/This Year and Prospect/Trimestre on methods o 
43. 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  

44. 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/yetanothermathmilestone.html  

45. Computing And Information Technology Interactive Digital Educational Library Rep Mathematical logic and foundations Computability and recursion theory Recursive functions and relations, subrecursive hierarchies. (no description) http://www.citidel.org/?op=cbrowse&scheme=MSC2000&category=03XX:03Dxx:03D20 
46. 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.fuberlin.de/dblp/data/record/journals/ipl/Tsichritzis71 
47. PCC 06  Preliminary Program Mathias Barra, On some small subrecursive hierarchies. Ulrich Berger, Strong normalisation via domaintheoretic computability predicates http://pcc.w3.rz.unibwmuenchen.de/program.html  

48. General General Mathematics Mathematics For Nonmathematicians 68Q17 Recursive functions and relations, subrecursive hierarchies Recursively (computably) enumerable sets and degrees Other Turing degree structures http://amf.openlib.org/2001/msc2000.xsd 
49. 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  

50. BibTeX Bibliography Infoproc1970.bib Toronto, Canada , keywords = comparison; computability and decidability; low level complexity classes; subrecursive hierarchies , treatment = T http://www.math.utah.edu/pub/tex/bib/infoproc1970.html  

51. 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  

52. Talk 1998, August 24 28 A finite hierarchy of recursively enumerable real numbers, 1993, November 15 The hierarchies of subrecursive functions. http://wwwsst.informatik.tucottbus.de/~wwwti/zheng/talk.html  

53. 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  

54. 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/0001005.html  

55. Book Computability Theory, Maths For Engineers, Lavoisier Publishers computably enumerable sets and their automorphisms, and subrecursive hierarchy classifications. recent work in computability theory has focused on http://www.lavoisier.fr/notice/gb402380.html  

Page 1 164 of 64 1 