{"product_id":"constructive-mathematics-proceedings-of-the-new-mexico-state-university-conference-held-at-las-cruces-new-mexico-august-11-15-1980-9783540108504","title":"Constructive Mathematics: Proceedings of the New Mexico State University Conference Held at Las Cruces, New Mexico, August 11-15, 1980","description":"\u003cp\u003e • Author(s): F. Richman\u003cbr\u003e • Publisher: Springer\u003cbr\u003e • Publisher Imprint: Springer\u003cbr\u003e • BISAC: Logic\u003c\/p\u003e\u003cp\u003eSeidenberg's condition P.- Field extensions.- Dedekind domains.- Effective mathematics  the computer algebra viewpoint.- On some open problems in constructive probability theory.- Consistency and independence results in intuitionistic set theory.- Errata.- Computability of ordinal recursion of type level two.- A constructive approach to classical mathematics.- Remarks on the notion of standard non-isomorphic natural number series.- Reflections on Bishop's philosophy of mathematics.- Formalizing constructive mathematics: Why and how?.- Independence of premisses and the free topos.- An intuitionistic infinitesimal calculus.- Liberal constructive set theory.- Locating metric complements in ?n.- A disjunctive decomposition theorem for classical theories.- Towards a constructive foundation for quantum mechanics.- About infinity, finiteness and finitization (in connection with the foundations of mathematics).- A class of theorems with valid constructive counterparts.- Rational constructive analysis.\u003c\/p\u003e","brand":"Springer","offers":[{"title":"Paperback","offer_id":47592166785175,"sku":"9783540108504","price":4620.0,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0666\/3471\/1191\/files\/9783540108504.webp?v=1774976605","url":"https:\/\/atlanticbooks.com\/products\/constructive-mathematics-proceedings-of-the-new-mexico-state-university-conference-held-at-las-cruces-new-mexico-august-11-15-1980-9783540108504","provider":"Atlantic Books","version":"1.0","type":"link"}