3
×

Statusmeldung

Artikel zum Warenkorb hinzugefügt

Definability and Computability

Siberian School of Algebra and Logic

Erschienen am 30.04.1996
235,39 €
(inkl. MwSt.)

Lieferbar innerhalb 1 - 2 Wochen

In den Warenkorb
Bibliografische Daten
ISBN/EAN: 9780306110399
Sprache: Englisch
Umfang: xiv, 264 S.
Einband: gebundenes Buch

Beschreibung

In this book, Yurii L. Ershov posits the view that computability-in the broadest sense-can be regarded as the Sigma-definability in the suitable sets. He presents a new approach to providing the Gödel incompleteness theorem based on systematic use of the formulas with the restricted quantifiers. The volume also includes a novel exposition on the foundations of the theory of admissible sets with urelements, using the Gandy theorem throughout the theory's development. Other topics discussed are forcing, Sigma-definability, dynamic logic, and Sigma-predicates of finite types.

Produktsicherheitsverordnung

Hersteller:
Springer Verlag GmbH
juergen.hartmann@springer.com
Tiergartenstr. 17
DE 69121 Heidelberg


Weitere Artikel vom Autor "Ershov, Yuri L"

Lieferbar innerhalb 1 - 2 Wochen

213,99 €
inkl. MwSt.

Lieferbar innerhalb 1 - 2 Wochen

213,99 €
inkl. MwSt.
Alle Artikel anzeigen

Weitere Artikel aus der Kategorie "Mathematik"

Lieferbar innerhalb 1 - 2 Wochen

39,99 €
inkl. MwSt.

Lieferbar innerhalb 24 Stunden

22,00 €
inkl. MwSt.

Lieferbar innerhalb 1 - 2 Wochen

44,95 €
inkl. MwSt.

Lieferbar innerhalb 1 - 2 Wochen

12,99 €
inkl. MwSt.
Alle Artikel anzeigen

Kategorien