Predicative Arithmetic. (Mn-32)
Dieses Buch entwickelt eine Arithmetik ohne Induktionsprinzip, die in Theorien arbeitet, die in Raphael Robinsons Theorie Q interpretierbar sind. Bestimmte induktive Formeln, die begrenzten, sind in Q interpretierbar. Es wird eine mathematisch starke, aber logisch sehr schwache prädikative Arithmetik konstruiert.
Ursprünglich veröffentlicht im Jahr 1986.
Die Princeton Legacy Library nutzt die neueste Print-on-Demand-Technologie, um zuvor vergriffene Bücher aus der renommierten Backlist der Princeton University Press wieder verfügbar zu machen. Diese Ausgaben bewahren die Originaltexte dieser wichtigen Bücher und präsentieren sie in haltbaren Taschenbuch- und Hardcover-Ausgaben. Ziel der Princeton Legacy Library ist es, den Zugang zu dem reichen wissenschaftlichen Erbe, das in den Tausenden von Büchern enthalten ist, die von der Princeton University Press seit ihrer Gründung im Jahr 1905 veröffentlicht wurden, erheblich zu verbessern.
| ISBN: | 9780691610290 |
| Autor: | |
| Verlag: | |
| Sprache: | Englisch |
| Einband: | Taschenbuch |
| Erscheinungsjahr: | 2014 |
| Seitenzahl: | 200 |
Derzeit verfügbar, auf Lager.
