X

Ihre E-Mail wurde erfolgreich gesendet. Bitte prüfen Sie Ihren Maileingang.

Leider ist ein Fehler beim E-Mail-Versand aufgetreten. Bitte versuchen Sie es erneut.

Vorgang fortführen?

Exportieren
Filter
Medientyp
Sprache
Region
Bibliothek
Erscheinungszeitraum
Person/Organisation
Fachgebiete(RVK)
Schlagwörter
Zugriff
  • 1
    Online-Ressource
    Online-Ressource
    Computable structures and the hyperarithmetical hierarchy (2000)
    Amsterdam ; New York : Elsevier
    Details
    UID:
    b3kat_BV036962274
    Umfang: 1 Online-Ressource (xv, 346 p.) , 24 cm
    Ausgabe: 1st ed
    Ausgabe: Online-Ausgabe Elsevier e-book collection on ScienceDirect Sonstige Standardnummer des Gesamttitels: 041169-3
    ISBN: 0444500723 , 9780444500724
    Serie: Studies in logic and the foundations of mathematics v. 144
    Anmerkung: Includes bibliographical references (p. 323-333) and index
    Weitere Ausg.: Reproduktion von Computable structures and the hyperarithmetical hierarchy 2000
    Sprache: Englisch
    Fachgebiete: Mathematik , Philosophie
    RVK:
    CC 2600
    RVK:
    SK 130
    Schlagwort(e): Struktur ; Berechenbarkeit ; Definierbarkeit
    URL: Volltext
    Bibliothek Standort Signatur Band/Heft/Jahr Verfügbarkeit
    BibTip Andere fanden auch interessant ...
    Online-Ressource
    Online Zugang
  • 2
    Online-Ressource
    Online-Ressource
    Computable structures and the hyperarithmetical hierarchy / (2000)
    Amsterdam ; : Elsevier,
    Details
    UID:
    almafu_9958097436502883
    Umfang: 1 online resource (363 p.)
    Ausgabe: 1st ed.
    ISBN: 1-281-07101-3 , 9786611071011 , 0-08-052952-6
    Serie: Studies in logic and the foundations of mathematics ; v. 144
    Inhalt: This book describes a program of research in computable structure theory. The goal is to find definability conditions corresponding to bounds on complexity which persist under isomorphism. The results apply to familiar kinds of structures (groups, fields, vector spaces, linear orderings Boolean algebras, Abelian p-groups, models of arithmetic). There are many interesting results already, but there are also many natural questions still to be answered. The book is self-contained in that it includes necessary background material from recursion theory (ordinal notations, the hyperarithmetical hier
    Anmerkung: Description based upon print version of record. , Cover; Preface; 0.1 Introduction; 0.2 Constructivizations; 0.3 Authorship and acknowledgements; Contents; Chapter 1. Computability; 1.1 Informal concepts; 1.2 Church's Thesis; 1.3 Proof by Church's Thesis; 1.4 Some basic results; 1.5 Coding functions; 1.6 Kleene's Normal Form Theorem; 1.7 Facts about c.e. sets and relations; 1.8 The standard list of c.e. sets; 1.9 The s - m - n Theorem; 1.10 The Recursion Theorem; 1.11 Relative computability; 1.12 The relativized s - m - n Theorem; 1.13 Turing reducibility; 1.14 Other reducibilities; Chapter 2. The arithmetical hierarchy; 2.1 Jumps , 2.2 Basic definitions2.3 Basic theorems; 2.4 Combining arithmetical relations; 2.5 Alternative definitions; 2.6 Approximations; 2.7 Trees; Chapter 3. Languages and structures; 3.1 Propositional languages and structures; 3.2 Predicate languages; 3.3 Structures for a predicate language; 3.4 Satisfaction; 3.5 Enlarging a structure; 3.6 Theories and models; 3.7 Prenex normal form; 3.8 Isomorphism; 3.9 Quotient structures; 3.10 Model existence; 3.11 Compactness; 3.12 Some special kinds of structures; 3.13 Computable sets of sentences; 3.14 Complexity of structures , 3.15 Complexity of definable relations3.16 Copies of a given structure; 3.17 Complexity of quotient structures; Chapter 4. Ordinals; 4.1 Set theoretic facts; 4.2 Inductive proofs and definitions; 4.3 Operations on ordinals; 4.4 Cantor normal form; 4.5 Constructive and computable ordinals; 4.6 Kleene's 0; 4.7 Constructive and computable ordinals; 4.8 Transfinite induction on ordinal notation; Chapter 5. The hyperarithmetical hierarchy; 5.1 The hyperarithmetical hierarchy; 5.2 The analytical hierarchy; 5.3 The Kleene-Brouwer ordering; 5.4 Relativizing; 5.5 Ershov's hierarchy , Chapter 6. Infinitary formulas6.1 Predicate formulas; 6.2 Sample formulas; 6.3 Subformulas and free variables; 6.4 Normalform; 6.5 Model existence; 6.6 Scott's Isomorphism Theorem; 6.7 Ranks and special Scott families; 6.8 Rigid structures and defining families; 6.9 Definability of relations; 6.10 Propositional formulas; Chapter 7. Computable infinitary formulas; 7.1 Informal definitions; 7.2 Formal definition; 7.3 Sample formulas; 7.4 Satisfaction and the hyperarithmetical hierarchy; 7.5 Further hierarchies of computable formulas; 7.6 Computable propositional formulas , 7.7 The simplest language7.8 Hyperarithmetical formulas; 7.9 X-computable formulas; Chapter 8. The Barwise-Kreisel Compactness Theorem; 8.1 Model existence and paths through trees; 8.2 The Compactness Theorem; 8.3 Hyperarithmetical saturation; 8.4 Orderings and trees; 8.5 Boolean algebras; 8.6 Groups; 8.7 Priority constructions; 8.8 Ranks; Chapter 9. Existence of computable structures; 9.1 Equivalence structures; 9.2 Abelian p-groups; 9.3 Linear orderings; 9.4 Boolean algebras; 9.5 Results of Wehner; 9.6 Decidable homogeneous structures; Chapter 10. Completeness and forcing , 10.1 Images of a relation , English
    Weitere Ausg.: ISBN 0-444-50072-3
    Sprache: Englisch
    Bibliothek Standort Signatur Band/Heft/Jahr Verfügbarkeit
    BibTip Andere fanden auch interessant ...
    Online-Ressource
  • 3
    Buch
    Buch
    Computable structures and the hyperarithmetical hierarchy (2000)
    Amsterdam [u.a.] : Elsevier
    Details
    UID:
    gbv_313734984
    Umfang: XV, 346 S. , graph. Darst.
    Ausgabe: 1st ed.
    ISBN: 0444500723
    Serie: Studies in logic and the foundations of mathematics 144
    Anmerkung: Includes index
    Weitere Ausg.: Erscheint auch als Online-Ausgabe Ash, C. J. Computable structures and the hyperarithmetical hierarchy Amsterdam : Elsevier, 2000 ISBN 0444500723
    Weitere Ausg.: ISBN 9780444500724
    Weitere Ausg.: Online-Ausg. u.d.T. Ash, Chris J. Computable structures and the hyperarithmetical hierarchy Amsterdam [u.a.] : Elsevier, 2000 ISBN 0444500723
    Weitere Ausg.: ISBN 9780080529523
    Weitere Ausg.: ISBN 0080529526
    Weitere Ausg.: ISBN 9780444500724
    Sprache: Englisch
    Fachgebiete: Informatik , Mathematik
    RVK:
    SK 130
    RVK:
    ST 130
    Schlagwort(e): Berechenbarkeit ; Struktur ; Definierbarkeit
    URL: Inhaltsverzeichnis
    URL: Inhaltstext
    URL: http://www.loc.gov/catdir/enhancements/fy0610/00034103-d.html
    URL: http://www.loc.gov/catdir/enhancements/fy0610/00034103-t.html
    Bibliothek Standort Signatur Band/Heft/Jahr Verfügbarkeit
    BibTip Andere fanden auch interessant ...
    Buch
  • 4
    Online-Ressource
    Online-Ressource
    Computable structures and the hyperarithmetical hierarchy (2000)
    Amsterdam : Elsevier
    Details
    UID:
    gbv_1684905230
    Umfang: Online-Ressource , xv, 346 p , 24 cm
    Ausgabe: 1st ed
    Ausgabe: Online-Ausg.] Elsevier e-book collection on ScienceDirect
    ISBN: 0444500723 , 9780444500724
    Serie: Studies in logic and the foundations of mathematics v. 144
    Anmerkung: Includes bibliographical references (p. 323-333) and index
    Weitere Ausg.: Erscheint auch als Druck-Ausgabe Ash, Chris J. Computable structures and the hyperarithmetical hierarchy Amsterdam [u.a.] : Elsevier, 2000 ISBN 0444500723
    Sprache: Englisch
    Fachgebiete: Mathematik
    RVK:
    SK 130
    Schlagwort(e): Berechenbarkeit ; Struktur ; Definierbarkeit
    URL: Volltext  (Deutschlandweit zugänglich)
    URL: Inhaltstext
    Bibliothek Standort Signatur Band/Heft/Jahr Verfügbarkeit
    BibTip Andere fanden auch interessant ...
    Online-Ressource
    Online Zugang
  • 5
    Buch
    Buch
    Computable structures and the hyperarithmetical hierarchy / (2000)
    Amsterdam [u.a.] :North Holland,
    Dazugehörige Titel
    Details
    UID:
    almafu_BV013380395
    Umfang: XV, 346 S.
    Ausgabe: 1. ed.
    ISBN: 0-444-50072-3
    Serie: Studies in logic and the foundations of mathematics 144
    Sprache: Englisch
    Fachgebiete: Mathematik , Philosophie
    RVK:
    SK 130
    RVK:
    CC 2600
    Schlagwort(e): Struktur ; Berechenbarkeit ; Definierbarkeit
    Bibliothek Standort Signatur Band/Heft/Jahr Verfügbarkeit
    BibTip Andere fanden auch interessant ...
    Buch
Nichts oder nicht das Richtige gefunden? Bitte überprüfen Sie Ihre Suchanfrage oder benutzen Sie den Fernleihindex.
Meinten Sie 0444500022?
Meinten Sie 0444500278?
Meinten Sie 0444500324?
Schließen ⊗
Diese Webseite nutzt Cookies und das Analyse-Tool Matomo. Weitere Informationen finden Sie auf den KOBV Seiten zum Datenschutz