Language:   Search:   Contact
World of
Mathematics Database
»ZBMATH« MSC 2000
MSC 2010 Reviewer
Service Subscription
»ZBMATH«
ZBMATH Database | Simple Search Print
Read more | Try MathML | Hide
Zentralblatt MATH has released its new interface!
For an improved author identification, see the new author database of ZBMATH.

ZBMATH Database Simple Search Advanced Search Command Search

Simple Search

Query:
Enter a query and click »Search«...
Format:
Display: entries per page entries
Zbl 0769.03033
Prouté, Alain
Indeterminate expressions, constructivism and axiom of choice. (Expressions indéterminées, constructivisme et axiome du choix.) (French)
[J] Cah. Topologie Géom. Différ. Catég. 33, No.3, 279-288 (1992). ISSN 0008-0004

Summary: We introduce indeterminate expressions (in which substitution does not respect equality). This gives a convenient treatment of subtypes and quotient types in a constructive mathematical system. The Axiom of Choice is revisited in the light of this concept, and an example stresses the interest of the notion introduced.
MSC 2000:
*03F50 Metamathematics of constructive systems

Keywords: indeterminate expressions; subtypes; quotient types; Axiom of Choice

Comment on this Item PDF MathML XML ASCII DVI PS BibTeX Online Ordering Article Article

Login Username: Password:

Highlights
Scientific prize winners of the ICM 2010
Overhang
Lie groups, physics and geometry. An introduction for physicists, engineers and chemists.

Master Server

Zentralblatt MATH Berlin [Germany]

© FIZ Karlsruhe GmbH

Zentralblatt MATH master server is maintained by the Editorial Office in Berlin, Section Mathematics and Computer Science of FIZ Karlsruhe and is updated daily.

Other Mirror Sites

Copyright © 2013 Zentralblatt MATH | European Mathematical Society | FIZ Karlsruhe | Heidelberg Academy of Sciences
Published by Springer-Verlag | Webmaster