Scan barcode
198 pages • first pub 1986 (editions)
ISBN/UID: 9780691084558
Format: Paperback
Language: English
Publisher: Princeton University Press
Publication date: 21 November 1986
Description
This book develops arithmetic without the induction principle, working in theories that are interpretable in Raphael Robinson's theory Q. Certain inductive formulas, the bounded ones, are interpretable in Q. A mathematically strong, but logically ...
Community Reviews
Content Warnings
198 pages • first pub 1986 (editions)
ISBN/UID: 9780691084558
Format: Paperback
Language: English
Publisher: Princeton University Press
Publication date: 21 November 1986
Description
This book develops arithmetic without the induction principle, working in theories that are interpretable in Raphael Robinson's theory Q. Certain inductive formulas, the bounded ones, are interpretable in Q. A mathematically strong, but logically ...
Community Reviews
Content Warnings