Home  Mathematical_Logic  Highertype And Set Recursion Theory 
Page 1 157 of 57 1 
1. HeiDOK 03D60 Computability and recursion theory on ordinals, admissible sets, etc. ( 0 Dok. ) 03D65 Highertype and set recursion theory ( 0 Dok. http://archiv.ub.uniheidelberg.de/volltextserver/msc_ebene3.php?zahl=03D&anzahl 
2. Mhb03.htm 03D65, Highertype and set recursion theory. 03D70, Inductive definability. 03D75, Abstract and axiomatic computability and recursion theory http://www.mi.imati.cnr.it/~alberto/mhb03.htm  

3. MathNetMathematical Subject Classification 03D60, recursion theory on ordinals, admissible sets, etc. 03D65, Highertype and set recursion theory. 03D70, Inductive definability http://basilo.kaist.ac.kr/API/?MIval=research_msc_1991_out&class=03XX 
4. Sachgebiete Der AMSKlassifikation: 0009 03D65 Highertype and set recursion theory 03D70 Inductive definability 03D75 Abstract and axiomatic recursion theory 03D80 Applications of recursion theory http://www.math.fuberlin.de/litrech/Class/ams0009.html  

5. DC MetaData For:The HausdorffErshov Hierarchy In Euclidean Spaces 03D65 Highertype and set recursion theory 03D80 Applications of computability and recursion theory 03D55 Hierarchies 03E15 Descriptive set theory 03F60 http://www.mathinf.unigreifswald.de/preprints/shadow/hemmerling03_25.rdf.html  

6. MSC 2000 : CC = Set 03D65 Highertype and set recursion theory; 03Exx set theory; 03E04 Ordered sets and their cofinalities; pcf theory Nouveau code MSC 2000 http://portail.mathdoc.fr/cgibin/msc2000.py?L=fr&T=Q&C=msc2000&CC=Set 
7. List For KWIC List Of CCS 1998 And MSC2000 Phrases set functions, measures and integrals with values in ordered spaces 28B15 set interpretation instruction B.1.5.c set recursion theory Highertype and http://www.math.unipd.it/~biblio/kwic/mscacm/cmkl_11_51.htm  

8. 03Dxx 03D65 Highertype and set recursion theory; 03D70 Inductive definability; 03D75 Abstract and axiomatic recursion theory; 03D80 Applications of recursion http://www.ma.hw.ac.uk/~chris/MR/03Dxx.html  

9. Theodore A. Slaman: Bibliography 03D65 Highertype and set recursion theory; 03D80 Applications of computability and recursion theory; 03Dxx Computability and recursion theory http://math.berkeley.edu/~slaman/papers/Publications_MSC.html  

10. MSC 2000 : CC = 03D 03D65 Highertype and set recursion theory; 03D70 Inductive definability; 03D75 Abstract and axiomatic computability and recursion theory http://mathdoc.ujfgrenoble.fr/cgibin/msc2000.py?CC=03D&L=fr&C=msc2000&T=N 
11. 03Dxx 03D65 Highertype and set recursion theory 03D70 Inductive definability 03D75 Abstract and axiomatic computability and recursion theory 03D80 Applications http://www.univie.ac.at/EMIS/MSC2000/03Dxx.html  

12. PlanetMath: 03D60, , Computability and recursion theory on ordinals, admissible sets, etc. 03D65, , Highertype and set recursion theory http://planetmath.org/browse/categories/03Dxx/  

13. Browse MSC2000 Computability and recursion theory on ordinals, admissible sets, etc. related 03D65. Highertype and set recursion theory, related http://www.zblmath.fizkarlsruhe.de/MATH/msc/zbl/msc/2000/03XX/03Dxx/dir  

14. MSC 2000 : CC = Recursion 03D65 Highertype and set recursion theory; 03D75 Abstract and axiomatic computability and recursion theory; 03D80 Applications of computability and http://www.mathdoc.emath.fr/cgibin/msc2000.py?L=en&T=Q&C=msc2000&CC=Recursion 
15. Zentralblatt MATH  MSC 2000  Search And Browse 03D60 Computability and recursion theory on ordinals, admissible sets, etc. ZMATH. 03D65 Highertype and set recursion theory ZMATH http://www.zentralblattmath.org/msc/search/?pa=03Dxx 
16. 359/369 (Total 5522) NO 152 03E04 Ordered Sets And Translate this page 147, 03D75, Abstract and axiomatic computability and recursion theory. 146, 03D70, Inductive definability. 145, 03D65, Highertype and set recursion theory http://www.mathnet.or.kr/mathnet/msc_list.php?mode=list&ftype=&fstr=&page=359 
17. General General Mathematics Mathematics For Nonmathematicians Highertype and set recursion theory Inductive definability Abstract and axiomatic computability and recursion theory Applications of computability and http://amf.openlib.org/2001/msc2000.xsd 
18. Nabble  Coq  CiE08  2nd Call For Papers Higher type recursion theory and applications (organized by U. Berger, Swansea, and D. Effective descriptive set theory * Finite model theory http://www.nabble.com/CiE082ndCallforPaperstd13833817.html  

19. [Nyaya] Computability In Europe: Call For Papers Seisenberger, Swansea) Higher type recursion theory and applications (organized models * Effective descriptive set theory * Finite model theory * Formal http://www.cmi.ac.in/pipermail/nyaya/2007November/000000.html  

20. Axiomatic Recursion Theory And The Continuous Functionals a higher type computation theory, and show that countable recursion over the this augmented set of schemes fails to generate countable recursion. http://projecteuclid.org/handle/euclid.jsl/1183741850  

21. [ccl] CiE 2008  1st Call For Papers and extracting algorithms from proofs Higher type recursion theory and models * Effective descriptive set theory * Finite model theory * Formal http://www.mozartoz.org/pipermail/ccl/2007September/000230.html  

22. Gmane  Mail To News And Back Again Higher type recursion theory and applications Algorithmic game theory=20 models * Effective descriptive set theory * Finite model theory * Formal http://article.gmane.org/gmane.science.mathematics.prooftheory/466  

23. Theories With Selfapplication And Computational Complexity Schwichtenberg, Higher type recursion, ramification and polynomial time, . Feferman, recursion theory and set theory a marriage of convenience, http://portal.acm.org/citation.cfm?id=942131.942136 
24. The Journal Of Symbolic Logic, Volume 41 1824 BibTeX Julia F. Knight Omitting Types in set theory and Arithmetic. Equivalence of Some Definitions of recursion in a Higher Type Object. http://www.informatik.unitrier.de/~ley/db/journals/jsyml/jsyml41.html  

25. Logic And Language Links  Recursive Language higher type recursion theory recursion theory on ordinals Gloss Language (set of strings) for which the question of whether some string belongs to http://staff.science.uva.nl/~caterina/LoLaLi/Pages/135.html  

26. Set Theory Papers Of Andreas R. Blass We work in set theory without the axiom of choice, so infinite sums and products Needed Reals and recursion in Generic Reals (Ann. Pure Appl. Logic 109 http://www.math.lsa.umich.edu/~ablass/set.html  

27. Foundations Of Mathematics A History of set theory from School of Mathematical and Computational Sciences, .. Introduction to Logic and recursion theory  by Edward Boyden, http://sakharov.net/foundation_rt.html  

28. RISC : Detail D'une Nouvelle De La Liste Echos theory, Higher Type recursion theory, Domain theory and Category recursively measurable set of the real line with respect to the Lebesgue measure. http://www.risc.cnrs.fr/detail_lesechos.php?ID=6662 
29. Abstract Stone Duality Hence classical recursion theory, which was formulated in a very and it takes a hundred or so pages of a textbook such as 26to set out the details of http://www.monad.me.uk/ASD/manifesto.php  

30. [PVS] CiE 2008  1st Call For Papers Higher type recursion theory and applications Algorithmic game theory models * Effective descriptive set theory * Finite model theory * Formal http://pvs.csl.sri.com/mailarchive/pvs/msg03666.html  

31. [CoqClub] CiE08  2nd Call For Papers Nijmegen, and M. Seisenberger, Swansea) Higher type recursion theory and models * Effective descriptive set theory * Finite model theory * Formal http://pauillac.inria.fr/pipermail/coqclub/2007/003216.html  

32. List Of Invited Speakers A.1 Mathematical logic (proof theory, recursion theory, model theory, set theory). J. Bagaria (U. Barcelona and ICREA, Spain), Natural Axioms for set http://www.uniovi.es/Congresos/2003/DLMPS/Structure/Speakers.htm  

33. Conference On Logic, Computability And Randomness The Medvedev lattice is a structure from computability theory with ties to with nrandomness in the both recursion theory and set theory aspects. http://www.dc.uba.ar/people/logic2007/  

34. Lars Birkedal / Realizability Bibliography Church s thesis, continuity and set theory. Journal of Symbolic Logic In J.N. Crossley, editor, sets, Models, and recursion theory , pages 309331. http://www.itu.dk/people/birkedal/realizability/index.html  

35. One Hundred Years Of Russell's Paradox  Abstracts This distinction is analogous to the arithmetic and analytic hierarchies familiar in recursion theory and descriptive set theory. http://www.lrzmuenchen.de/~russell01/papers.html  

36. Downloadable Publications Constructive natural deduction and its omegaset interpretation. The LambdaCalculus connections to higher type recursion theory, Prooftheory, http://www.di.ens.fr/users/longo/download.html  

37. The Extent Of Constructive Game Labellings LÃ¶we And Semmes We just assume naÃ¯ve set theory and provide all necessary definitions and 1982Summer Institute on recursion theory, Held at Cornell University, http://logcom.oxfordjournals.org/cgi/content/full/exl039v1?ck=nck 
38. JSTOR $\beta$Recursion Theory. These considerations have led to further progress in other areas of generalized recursion theory, arecursion theory and recursion in higher type objects. http://links.jstor.org/sici?sici=00224812(198109)46:3<664:T>2.0.CO;24 
39. Type Theory  Wikipedia, The Free Encyclopedia set theories whose point of departure is type theory, but whose axioms, ontology, respectively, and defines the set of types recursively as follows http://en.wikipedia.org/wiki/Type_theory  

40. Longo Symposium In this perspective, Longo worked at some aspects of recursion theory, Higher Type recursion theory, Domain theory and Category theory as part of a unified http://www.pps.jussieu.fr/~gc/other/rdp/talks.html  

41. A List Of Papers On Complexity At Higher Types This is one of the earliest uses of subrecursive Highertype recursion. . A. Seth, Complexity theory of Higher Type Functionals, Ph.D. Thesis, http://www.cis.syr.edu/~royer/bib2.html  

42. Wikiseek  Ultra Effective descriptive set theory recursion theory Hierarchy Mathematical logic set theory, the analytical hierarchy is a higher type analogue of the http://www.wikiseek.com/results.php?q=Type hierarchies, logic 
43. Feferman: Recursion In Total Functionals Of Finite Type Rather one wants to allow the set of terms to increase as the stock of .. Thus a recursion theory based on IVI should also have good properties. http://www.numdam.org/numdambin/fitem?id=CM_1977__35_1_3_0 
44. Type Theory ST reveals how type theory can be made very similar to axiomatic set theory. . system Â· set theory Â· Proof theory Â· Model theory Â· recursion theory http://wapedia.mobi/en/Type_Theory 
45. Gmane.science.mathematics.prooftheory This is a mailing list devoted to proof theory. headers algorithms from proofs Higher type recursion theory and applications Algorithmic game theory=20 http://permalink.gmane.org/gmane.science.mathematics.prooftheory/466  

46. Cornell Math  Fall 2002 Course Descriptions Also considers Polya theory action of a group on a set, Burnside lemma, DeBruijn s method, . MATH 784 recursion theory. Richard A. Shore. 4 credits. http://www.math.cornell.edu/Courses/Fall/FA02descr.html  

47. Tulane Math Colloquium: Fall 2005 Does geometry need a full set theory, therefore? In giving a negative answer, we shall consider Highertype sets introduced by parametric definitions with http://www.math.tulane.edu/activities/colloquium/Spring_2006.html  

48. CiE 2007  Conference Description set theory; Finite model theory; Formal aspects of program analysis; Formal methods; Foundations of computer science; Games; Generalized recursion http://www.amsta.leeds.ac.uk/~pmt6sbc/cie07.descr.html  

49. Alternative Axiomatic Set Theories (Stanford Encyclopedia Of Philosophy) By alternative set theories we mean systems of set theory differing significantly for the development of an extension of recursion theory to sets. http://plato.stanford.edu/entries/settheoryalternative/  

50. FOM: Concepts Of Recursion Theory The full importance of recursions in recursion theory only became apparent with the introduction by Kleene of recursive function of higher type objects. http://cs.nyu.edu/pipermail/fom/1998August/002024.html  

51. Peter Clote's Publications Applications of the low basis theorem in arithmetic , Springer Lecture Notes in Mathematics 1141,recursion theory Week, Proceedings Oberwolfach 1984, ed. http://clavius.bc.edu/~clote/publications.html  

52. All For You All For Me  ÂÂ³ÂÃÂÂ Translate this page , , , 1989 , recursion theory degree 2003, Association for symbolic logic, higher type computability http://homepage1.nifty.com/miyamiya/cs/index.html  

Page 1 157 of 57 1 