Donazioni 15 September, 2024 – 1 Ottobre, 2024 Sulla raccolta fondi

A Hierarchy of Turing Degrees : A Transfinite Hierarchy of...

Main
Mathematics - Logic
A Hierarchy of Turing Degrees : A...

A Hierarchy of Turing Degrees : A Transfinite Hierarchy of Lowness Notions in the Computably Enumerable Degrees, Unifying Classes, and Natural Definability

Rod Downey, Noam Greenberg

0 / 0

Quanto ti piace questo libro?

Qual è la qualità del file?

Scarica il libro per la valutazione della qualità

Qual è la qualità dei file scaricati?

Categorie:

Mathematics - Logic

Anno:

2020

Casa editrice:

Princeton University Press

Lingua:

english

Collana:

Annals of Mathematics Studies 206

File:

PDF, 1.29 MB

IPFS:

,

english, 2020

Leggi Online

La conversione in è in corso

La conversione in non è riuscita

Puoi essere interessati a

Hirst H.P., Hirst J.L. — A primer for logic and proof

— Descriptive Set Theory 001

Nordstrom B., Petersson K., Smith J.M. — Martin-Löf's Type Theory

MacFarlane — Frege, Kant and the Logic in Logicism

Dhirendra Sharma — The Differentiation Theory of Meaning in Indian Logic

Eugene C. Luschei — The Logical Systems of Lesniewski

W.A.J. Luxemburg, Abraham Robinson — Contributions to Non-Standard Analysis

Jacob T. Schwartz, Domenico Cantone, Eugenio G. Omodeo; Martin Davis (Foreword) — Computational Logic and Set Theory: Applying Formalized Logic to Analysis

Merlin Carl — Ordinal Computability: An Introduction to Infinitary Machines

Bruno Buchberger (Editor) — Journal of Symbolic Computation, Volume 4, issues 1-3 issue 1-3

Rod Downey, Denis R. Hirschfeldt — Algorithmic Randomness and Complexity

John Perry — Numbers, Polynomials, and Games: An excursion into algebraic worlds

Noam Greenberg, Sanjay Jain, Keng Meng Ng, Sven Schewe, Frank Stephan, Guohua Wu & Yue Yang — Aspects of Computation and Automata Theory with Applications

Perry J — Numbers, polynomials, and games. An excursion into algebraic worlds

S. Barry Cooper (auth.), S. Barry Cooper, Benedikt Löwe, Leen Torenvliet (eds.) — New Computational Paradigms: First Conference on Computability in Europe, CiE 2005, Amsterdam, The Netherlands, June 8-12, 2005. Proceedings

Joseph R. Shoenfield (Eds.) — Degrees of Unsolvability

Rodney G. Downey, Denis R. Hirschfeldt — Algorithmic Randomness and Complexity

Sorbi, Andrea — Complexity, logic, and recursion theory

Edward R. Griffor (ed.) — Handbook of Computability Theory

Lerman Manuel — A Framework for Priority Arguments

F. R. Drake, S. S. Wainer — Recursion Theory, its Generalisations and Applications

Nigel Cutland — Computability: An Introduction to Recursive Function Theory

S. B. Cooper, T. A. Slaman, S. S. Wainer — Computability, Enumerability, Unsolvability: Directions in Recursion Theory

Richard L. Epstein — Minimal Degrees of Unsolvability and the Full Approximation Construction

Richard L. Epstein — Initial Segments of Degrees Below 0

Noam Greenberg — The Role of True Finiteness in the Admissible Recursively Enumerable Degrees

Andrea Sorbi — Complexity, logic, and recursion theory

Nigel Cutland — Computability

S. Barry Cooper — Computability Theory

Matthew Harrison-Trainor — Degree Spectra of Relations on a Cone

Charles Fefferman, Arie Israel — Fitting Smooth Functions to Data

S. Barry Cooper — Computability theory

S. Barry Cooper, Andrea Sorbi — Computability in Context: Computation and Logic in the Real World

Cooper S.B., Sorbi A. (eds.) — Computability in context. Computation and logic in the real world

Marat M. Arslanov (editor); Steffen Lempp (editor) — Recursion Theory and Complexity: Proceedings of the Kazan '97 Workshop, Kazan, Russia, July 14–19, 1997

Herbert Edelsbrunner (auth.), M. Fontet, K. Mehlhorn (eds.) — STACS 84: Symposium of Theoretical Aspects of Computer Science Paris, 11–13, 1984

Klaus Ambos-Spies (auth.), Egon Börger, Walter Oberschelp, Michael M. Richter, Brigitta Schinzel, Wolfgang Thomas (eds.) — Computation and Proof Theory: Proceedings of the Logic Colloquium held in Aachen, July 18–23, 1983 Part II

S. Barry Cooper (auth.), S. Barry Cooper, Benedikt Löwe, Leen Torenvliet (eds.) — New Computational Paradigms: First Conference on Computability in Europe, CiE 2005, Amsterdam, The Netherlands, June 8-12, 2005. Proceedings

Giorgio Ausiello, Luca Allulli, Vincenzo Bonifaci, Luigi Laura (auth.), Jin-Yi Cai, S. Barry Cooper, Angsheng Li (eds.) — Theory and Applications of Models of Computation: Third International Conference, TAMC 2006, Beijing, China, May 15-20, 2006. Proceedings

Jon M. Kleinberg, Ravi Kumar, Prabhakar Raghavan, Sridhar Rajagopalan (auth.), Takano Asano, Hideki Imai, D. T. Lee, Shin-ichi Nakano, Takeshi Tokuyama (eds.) — Computing and Combinatorics: 5th Annual International Conference, COCOON’99 Tokyo, Japan, July 26–28, 1999 Proceedings

Steven Neil Evans (auth.) — Probability and Real Trees: École d'Été de Probabilités de Saint-Flour XXXV - 2005

Cynthia Dwork (auth.), Manindra Agrawal, Dingzhu Du, Zhenhua Duan, Angsheng Li (eds.) — Theory and Applications of Models of Computation: 5th International Conference, TAMC 2008, Xi’an, China, April 25-29, 2008. Proceedings

Termini più frequenti