Induction, bounding, weak combinatorial principles, and the homogeneous model theorem

Induction, bounding, weak combinatorial principles, and the homogeneous model theorem

Gespeichert in:
Bibliographische Detailangaben
1. Verfasser: Hirschfeldt, Denis R. (VerfasserIn)
Weitere Verfasser: Hirschfeldt, Denis Roman (VerfasserIn), Lange, Karen (VerfasserIn), Shore, Richard A. (VerfasserIn)
Format: UnknownFormat
Sprache:eng
Veröffentlicht: Providence, Rhode Island American Mathematical Society September 2017
Schriftenreihe:Memoirs of the American Mathematical Society volume 249 = number 1187 (eighth of 8 numbers)
Schlagworte:
Reverse mathematics > Computable functions > Decidability (Mathematical logic)
Online Zugang:Inhaltsverzeichnis
Inhaltstext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Beschreibung:"Volume 249, number 1187 (eighth of 8 numbers), September 2017". - Includes bibliographical references and index
Beschreibung:v, 101 Seiten
ISBN:9781470426576
978-1-4704-2657-6