Ebook: Constructive Mathematics: Proceedings of the New Mexico State University Conference Held at Las Cruces, New Mexico, August 11–15, 1980

---

Content:
Front Matter....Pages -
Seidenberg's condition P....Pages 1-11
Field extensions....Pages 12-15
Dedekind domains....Pages 16-30
Effective mathematics — the computer algebra viewpoint....Pages 31-43
On some open problems in constructive probability theory....Pages 44-53
Consistency and independence results in intuitionistic set theory....Pages 54-86
Errata....Pages 86-86
Computability of ordinal recursion of type level two....Pages 87-104
A constructive approach to classical mathematics....Pages 105-110
Remarks on the notion of standard non-isomorphic natural number series....Pages 111-134
Reflections on Bishop's philosophy of mathematics....Pages 135-145
Formalizing constructive mathematics: Why and how?....Pages 146-190
Independence of premisses and the free topos....Pages 191-207
An intuitionistic infinitesimal calculus....Pages 208-212
Liberal constructive set theory....Pages 213-240
A disjunctive decomposition theorem for classical theories....Pages 241-249
Towards a constructive foundation for quantum mechanics....Pages 250-259
About infinity, finiteness and finitization (in connection with the foundations of mathematics)....Pages 260-273
A class of theorems with valid constructive counterparts....Pages 274-313
Rational constructive analysis....Pages 314-320
....Pages 321-347