Franklin

Induction, bounding, weak combinatorial principles, and the homogeneous model theorem / Denis R. Hirschfeldt, Karen Lange, Richard A. Shore.

Author/Creator:
Hirschfeldt, Denis Roman, author.
Publication:
Providence, Rhode Island : American Mathematical Society, [2017]
Format/Description:
Book
101 pages ; 26 cm.
Series:
Memoirs of the American Mathematical Society ; no. 1187.
Memoirs of the American Mathematical Society, 0065-9266 ; volume 249, number 1187
Status/Location:
Loading...

Get It

Details

Subjects:
Reverse mathematics.
Computable functions.
Decidability (Mathematical logic).
Notes:
Includes bibliographical references and index.
Contributor:
Lange, Karen, 1980- author.
Shore, Richard A., 1946- author.
ISBN:
9781470426576
1470426579
OCLC:
990118199