Putnam's theorem on the complexity of models
pp. 45-50
Deprecated: strlen(): Passing null to parameter #1 ($string) of type string is deprecated in /home/clients/b010bcc84441ff7c5adbaf4e922effaa/web/mom/module/pub/view-inc.php on line 374
Abstrakt
A streamlined proof of a theorem of Putnam's: any satisfiable schema of predicate calculus has a model in which the predicates are interpreted as Boolean combinations of recursively enumerable relations. Related open problems are canvassed.
Publication details
Published in:
Hellman Geoffrey, Cook Roy T. (2018) Hilary Putnam on logic and mathematics. Dordrecht, Springer.
Seiten: 45-50
Deprecated: DateTime::createFromFormat(): Passing null to parameter #2 ($datetime) of type string is deprecated in /home/clients/b010bcc84441ff7c5adbaf4e922effaa/web/mom/module/pub/view-inc.php on line 496
DOI: 10.1007/978-3-319-96274-0_4
Referenz:
Goldfarb Warren (2018) „Putnam's theorem on the complexity of models“, In: G. Hellman & R. T. Cook (eds.), Hilary Putnam on logic and mathematics, Dordrecht, Springer, 45–50.