02941nam 2200601 450 99646649070331620220304232359.03-540-38759-510.1007/BFb0090721(CKB)1000000000437930(SSID)ssj0000322286(PQKBManifestationID)12099100(PQKBTitleCode)TC0000322286(PQKBWorkID)10282715(PQKB)10900440(DE-He213)978-3-540-38759-6(MiAaPQ)EBC5585360(Au-PeEL)EBL5585360(OCoLC)1066182092(MiAaPQ)EBC6842716(Au-PeEL)EBL6842716(OCoLC)793078683(PPN)155181459(EXLCZ)99100000000043793020220304d1981 uy 0engurnn|008mamaatxtccrConstructive mathematics proceedings of the New Mexico State University conference held at Las Cruces, New Mexico, August 11-15, 1980 /edited by Fred Richman1st ed. 1981.Berlin, Germany ;New York, New York :Springer-Verlag,[1981]©19811 online resource (X, 350 p.) Lecture Notes in Mathematics,0075-8434 ;873Bibliographic Level Mode of Issuance: Monograph3-540-10850-5 Seidenberg'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.Lecture Notes in Mathematics,0075-8434 ;873Constructive mathematicsCongressesIntuitionistic mathematicsCongressesConstructive mathematicsIntuitionistic mathematics511.36Richman Fred1938-MiAaPQMiAaPQMiAaPQBOOK996466490703316Constructive mathematics79973UNISA