{"title":"Ieke Moerdijk","description":null,"products":[{"product_id":"sets-models-and-proofs-book-ieke-moerdijk-9783319924137","title":"Sets, Models and Proofs","description":"This textbook provides a concise and self-contained introduction to mathematical logic, with a focus on the fundamental topics in first-order logic and model theory. Including examples from several areas of mathematics (algebra, linear algebra and analysis), the book illustrates the relevance and usefulness of logic in the study of these subject areas.  The authors start with an exposition of set theory and the axiom of choice as used in everyday mathematics. Proceeding at a gentle pace, they go on to present some of the first important results in model theory, followed by a careful exposition of Gentzen-style natural deduction and a detailed proof of Gödel’s completeness theorem for first-order logic. The book then explores the formal axiom system of Zermelo and Fraenkel before concluding with an extensive list of suggestions for further study.     The present volume is primarily aimed at mathematics students who are already familiar with basic analysis, algebra and linear algebra. It contains numerous exercises of varying difficulty and can be used for self-study, though it is ideally suited as a text for a one-semester university course in the second or third year.","brand":"WoB","offers":[{"title":"- \/ - \/ -","offer_id":51060827160849,"sku":"","price":0.0,"currency_code":"GBP","in_stock":true},{"title":"US \/ NEW \/ INGRAM","offer_id":51060830044433,"sku":"NIN9783319924137","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"GB \/ NEW \/ GARDNERS","offer_id":52151978852625,"sku":"NGR9783319924137","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"GB \/ NEW \/ INGRAM","offer_id":52592200941841,"sku":"NLS9783319924137","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/3319924133.jpg?v=1750837873"},{"product_id":"algebraic-set-theory-book-ieke-moerdijk-9780521558303","title":"Algebraic Set Theory","description":"This book offers a new, algebraic, approach to set theory. The authors introduce a particular kind of algebra, the Zermelo-Fraenkel algebras, which arise from the familiar axioms of Zermelo-Fraenkel set theory. Furthermore the authors explicitly construct such algebras using the theory of bisimulations. Their approach is completely constructive, and contains both intuitionistic set theory and topos theory. In particular it provides a uniform description of various constructions of the cumulative hierarchy of sets in forcing models, sheaf models and realisability models. Graduate students and researchers in mathematical logic, category theory and computer science should find this book of great interest, and it should be accessible to anyone with some background in categorical logic.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52151538811153,"sku":"NLS9780521558303","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9780521558303.jpg?v=1757613692"},{"product_id":"models-for-smooth-infinitesimal-analysis-book-ieke-moerdijk-9780387974897","title":"Models for Smooth Infinitesimal Analysis","description":"The aim of this book is to construct categories of spaces which contain all the C?-manifolds, but in addition infinitesimal spaces and arbitrary function spaces. To this end, the techniques of Grothendieck toposes (and the logic inherent to them) are explained at a leisurely pace and applied. By discussing topics such as integration, cohomology and vector bundles in the new context, the adequacy of these new spaces for analysis and geometry will be illustrated and the connection to the classical approach to C?-manifolds will be explained.","brand":"WoB","offers":[{"title":"- \/ - \/ INTERNAL","offer_id":52477008150801,"sku":null,"price":0.0,"currency_code":"GBP","in_stock":true},{"title":"GB \/ NEW \/ INGRAM","offer_id":52477009461521,"sku":"NLS9780387974897","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9780387974897.jpg?v=1759844947"},{"product_id":"models-for-smooth-infinitesimal-analysis-book-ieke-moerdijk-9781441930958","title":"Models for Smooth Infinitesimal Analysis","description":"The aim of this book is to construct categories of spaces which contain all the C?-manifolds, but in addition infinitesimal spaces and arbitrary function spaces. To this end, the techniques of Grothendieck toposes (and the logic inherent to them) are explained at a leisurely pace and applied. By discussing topics such as integration, cohomology and vector bundles in the new context, the adequacy of these new spaces for analysis and geometry will be illustrated and the connection to the classical approach to C?-manifolds will be explained.","brand":"WoB","offers":[{"title":"- \/ - \/ INTERNAL","offer_id":52481751974161,"sku":null,"price":0.0,"currency_code":"GBP","in_stock":true},{"title":"GB \/ NEW \/ INGRAM","offer_id":52481753055505,"sku":"NLS9781441930958","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9781441930958.jpg?v=1759852187"},{"product_id":"simplicial-methods-for-operads-and-algebraic-geometry-book-ieke-moerdijk-9783034800518","title":"Simplicial Methods for Operads and Algebraic Geometry","description":"An introduction to two topics in homotopy theory: Dendroidal Sets and Derived Algebraic Geometry.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52660545847569,"sku":"NLS9783034800518","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783034800518.jpg?v=1762265475"}],"url":"https:\/\/www.worldofbooks.com\/en-gb\/collections\/author-books-by-ieke-moerdijk.oembed","provider":"World of Books ","version":"1.0","type":"link"}