- 5 Risultati
prezzo più basso: € 129,95, prezzo più alto: € 201,42, prezzo medio: € 161,56
1
Higher Recursion Theory - Gerald E. Sacks
Ordina
da AbeBooks.de
€ 129,95
Spedizione: € 0,001
OrdinaLink sponsorizzato
Gerald E. Sacks:

Higher Recursion Theory - edizione con copertina flessibile

2010, ISBN: 364205742X

[EAN: 9783642057427], Neubuch, [PU: Berlin Springer], nach der Bestellung gedruckt Neuware - Hyperarithmetic theory is the first step beyond classical recursion theory. It is the primary … Altro …

NEW BOOK. Costi di spedizione:Versandkostenfrei. (EUR 0.00) AHA-BUCH GmbH, Einbeck, Germany [51283250] [Rating: 5 (von 5)]
2
Higher Recursion Theory (Perspectives in Mathematical Logic) - Sacks, Gerald E.
Ordina
da Amazon.de (Intern. Bücher)
€ 144,63
Spedizione: € 3,001
OrdinaLink sponsorizzato

Sacks, Gerald E.:

Higher Recursion Theory (Perspectives in Mathematical Logic) - edizione con copertina flessibile

2010, ISBN: 9783642057427

Springer Berlin Heidelberg, Taschenbuch, Auflage: Softcover reprint of hardcover 1st ed. 1990, 364 Seiten, Publiziert: 2010-02-19T00:00:01Z, Produktgruppe: Buch, 1.13 kg, Informatik, IT-A… Altro …

Costi di spedizione:Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 3.00)
3
Higher Recursion Theory (Perspectives in Mathematical Logic) - Sacks, Gerald E.
Ordina
da Amazon.de (Intern. Bücher)
€ 201,42
Spedizione: € 3,001
OrdinaLink sponsorizzato
Sacks, Gerald E.:
Higher Recursion Theory (Perspectives in Mathematical Logic) - edizione con copertina flessibile

2010

ISBN: 9783642057427

Springer Berlin Heidelberg, Taschenbuch, Auflage: Softcover reprint of hardcover 1st ed. 1990, 364 Seiten, Publiziert: 2010-02-19T00:00:01Z, Produktgruppe: Buch, 1.13 kg, Informatik, IT-A… Altro …

Costi di spedizione:Auf Lager. Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 3.00) ausverkauf
4
Higher Recursion Theory - Sacks, Gerald E.
Ordina
da booklooker.de
€ 164,39
Spedizione: € 0,001
OrdinaLink sponsorizzato
Sacks, Gerald E.:
Higher Recursion Theory - edizione con copertina flessibile

1990, ISBN: 9783642057427

edizione con copertina rigida

[PU: Springer Berlin], Gepflegter, sauberer Zustand. Außen: Angestoßen. 10037849/2, DE, [SC: 0.00], gebraucht; sehr gut, gewerbliches Angebot, Softcover reprint of hardcover 1st ed. 1990,… Altro …

Costi di spedizione:Versandkostenfrei, Versand nach Deutschland. (EUR 0.00) Buchpark GmbH
5
Ordina
da AbeBooks.de
€ 167,39
Spedizione: € 0,001
OrdinaLink sponsorizzato
Sacks, Gerald E.:
Higher Recursion Theory - edizione con copertina flessibile

2010, ISBN: 364205742X

[EAN: 9783642057427], Gebraucht, guter Zustand, [PU: Springer Berlin], Gepflegter, sauberer Zustand. Außen: Angestoßen. 10037849/2 Softcover reprint of hardcover 1st ed. 1990., Books

NOT NEW BOOK. Costi di spedizione:Versandkostenfrei. (EUR 0.00) Buchpark, Trebbin, Germany [83435977] [Rating: 5 (von 5)]

1Poiché alcune piattaforme non trasmettono le condizioni di spedizione e queste possono dipendere dal paese di consegna, dal prezzo di acquisto, dal peso e dalle dimensioni dell'articolo, dall'eventuale iscrizione alla piattaforma, dalla consegna diretta da parte della piattaforma o tramite un fornitore terzo (Marketplace), ecc. è possibile che le spese di spedizione indicate da eurolibro non corrispondano a quelle della piattaforma offerente.

Dati bibliografici del miglior libro corrispondente

Dettagli del libro
Higher Recursion Theory (Perspectives in Mathematical Logic)

Hyperarithmetic theory is the first step beyond classical recursion theory. It is the primary source of ideas and examples in higher recursion theory. It is also a crossroad for several areas of mathematical logic: in set theory it is an initial segment of Godel's L; in model theory, the least admissible set after ; in descriptive set theory, the setting for effective arguments. In this book, hyperarithmetic theory is developed at length and used to lift classical recursion theory from integers to recursive ordinals (metarecursion). Two further liftings are then made, first ordinals ( -recursion) and then to sets (E-recursion). Techniques such as finite and infinite injury, forcing and fine structure and extended and combined Dynamic and syntactical methods are contrasted. Several notions of reducibility and computation are compared. Post's problem is answere affirmatively in all three settings. This long-awaited volume of the -series will be a "Must" for all working in the field.

Informazioni dettagliate del libro - Higher Recursion Theory (Perspectives in Mathematical Logic)


EAN (ISBN-13): 9783642057427
ISBN (ISBN-10): 364205742X
Copertina rigida
Copertina flessibile
Anno di pubblicazione: 2010
Editore: Springer Berlin Heidelberg

Libro nella banca dati dal 2011-03-20T01:30:05+01:00 (Zurich)
Pagina di dettaglio ultima modifica in 2024-04-08T18:10:35+02:00 (Zurich)
ISBN/EAN: 9783642057427

ISBN - Stili di scrittura alternativi:
3-642-05742-X, 978-3-642-05742-7
Stili di scrittura alternativi e concetti di ricerca simili:
Autore del libro : sacks
Titolo del libro: higher recursion theory, mathematical logic


Dati dell'editore

Autore: Gerald E. Sacks
Titolo: Perspectives in Mathematical Logic; Higher Recursion Theory
Editore: Springer Berlin
345 Pagine
Peso: 0,551 kg
Lingua: Inglese
129,95 € (DE)
133,60 € (AT)
202,00 CHF (CH)
Not available (reason unspecified)
XV, 345 p.

BC; PB; Hardcover, Softcover / Mathematik/Grundlagen; Mathematik; Research; BB

Contents: Hyperarithmetic Sets: Constructive Ordinals and Sets. The Hyperarithmetic Hierarchy. Predicates of Reals. Measure and Forcing.- Metarecursion: Metarecursive Enumerability. Hyperregularity and Priority.- -Recursion: Admissibility and Regularity. Priority Arguments. Splitting, Density and Beyond.- E-Recursion: E-closed Structures.- Forcing Computations to Converge.- Selection and k-Sections.- E-Recursively Enumerable Degrees.- Bibliography.- Subject Index.

Altri libri che potrebbero essere simili a questo:

Ultimo libro simile:
9781107168435 Higher Recursion Theory (Perspectives in Logic, Band 2) (Sacks, Gerald E.)


< Per archiviare...