John T. Baldwin – författare
Visar alla böcker från författaren John T. Baldwin. Handla med fri frakt och snabb leverans.
6 produkter
Categoricity
Häftad, 2009
832 kr
Lägg i varukorg
Modern model theory began with Morley's categoricity theorem: A countable first-order theory that has a unique (up to isomorphism) model in one uncountable cardinal (i.e., is categorical in cardinality) if and only if the same holds in all uncountable cardinals. Over the last 35 years Shelah made …
Fundamentals of Stability Theory
Inbunden, 2017
2550 kr
Lägg i varukorg
Since their inception, the Perspectives in Logic and Lecture Notes in Logic series have published seminal works by leading logicians. Many of the original books in the series have been unavailable for years, but they are now in print once again. In this volume, the twelfth publication in the …
Model Theory and the Philosophy of Mathematical Practice
Formalization without Foundationalism
Inbunden, 2018
1905 kr
Lägg i varukorg
Major shifts in the field of model theory in the twentieth century have seen the development of new tools, methods, and motivations for mathematicians and philosophers. In this book, John T. Baldwin places the revolution in its historical context from the ancient Greeks to the last century, argues …
Model Theory and the Philosophy of Mathematical Practice
Formalization without Foundationalism
Häftad, 2020
667 kr
Lägg i varukorg
Major shifts in the field of model theory in the twentieth century have seen the development of new tools, methods, and motivations for mathematicians and philosophers. In this book, John T. Baldwin places the revolution in its historical context from the ancient Greeks to the last century, argues …
Classification Theory
Proceedings of the U.S.-Israel Workshop on Model Theory in Mathematical Logic Held in Chicago, Dec. 15-19, 1985
Häftad, 1988
495 kr
Lägg i varukorg
Classification Theory
Proceedings of the U.S.-Israel Workshop on Model Theory in Mathematical Logic Held in Chicago, Dec. 15-19, 1985
E-bok, 2006
554 kr
Lägg i varukorg
