Induction, bounding, weak combinatorial principles, and the homogeneous model theorem /
Saved in:
Author / Creator: | Hirschfeldt, Denis Roman, author. |
---|---|
Imprint: | Providence, Rhode Island : American Mathematical Society, [2017] |
Description: | 101 pages ; 26 cm. |
Language: | English |
Series: | Memoirs of the American Mathematical Society, 0065-9266 ; volume 249, number 1187 Memoirs of the American Mathematical Society ; no. 1187. |
Subject: | |
Format: | Print Book |
URL for this record: | http://pi.lib.uchicago.edu/1001/cat/bib/11338974 |
Other authors / contributors: | Lange, Karen, 1980- author. Shore, Richard A., 1946- author. |
---|---|
ISBN: | 9781470426576 (alk. paper) 1470426579 (alk. paper) |
Notes: | Includes bibliographical references and index. |
Similar Items
-
Recursive functions and metamathematics : problems of completeness and decidability, Gödel's theorems /
by: Murawski, Roman
Published: (1999) -
Decision problems for equational theories of relation algebras /
by: Andréka, H.
Published: (1997) -
The classical decision problem /
by: Boerger, Egon, 1946-
Published: (1997) -
Cornerstones of undecidability /
by: Rozenberg, Grzegorz
Published: (1994) -
Funkcje rekurencyjne i elementy metamatematyki : problemy zupełności, rozstrzygalności, twierdzenia Gödla /
by: Murawski, Roman
Published: (1990)