A1 - Ambroszkiewicz, StanisÅ‚aw
KW - Continuum
KW - foundations of mathematics
T1 - Continuum as a primitive type
PY - 2015
N2 - The paper is the revision, extended and full version of the short (6 pages) preliminary presentation of the grounding of the notion of Continuum given in Section 6 of the paper Types and operations ICS PAS Report No. 1030 (also at http://arxiv.org/abs/1501.03043). Here, primitive types (corresponding to the intuitive concept of Continuum) are introduced along with primitive operations, constructors, and relations.
T2 - Continuum jako typ pierwotny