arXiv:1510.02787 Abstract | arXiv Analytics

arXiv:1510.02787 [math.LO]Abstract References Reviews Resources

Continuum as a primitive type

Published 2015-10-06Version 1

The paper is the revision and extended version of the Section 6 of the paper {\em Types and operations} arXiv:1501.03043. Here, primitive types (corresponding to the intuitive concept of Continuum) are introduced along with primitive operations, constructors, and relations.

Comments: The introduced new primitive types along with constructors, primitive operations and primitive relations should be seen as a part of the general framework for a constructive type theory presented in the work Types and operations see arXiv:1501.03043

Categories: math.LO, cs.LO

Subjects: F.4.1

Keywords: primitive type, extended version, intuitive concept

Related articles: Most relevant | Search more

arXiv:1710.04002 [math.LO] (Published 2017-10-11)

Polishness of some topologies related to automata (Extended version)

Olivier Finkel, Olivier Carton, Dominique Lecomte

arXiv:2306.13736 [math.LO] (Published 2023-06-23)

Tiling problems and complexity of logics (extended version)

M. Rybakov, D. Serova

arXiv:1601.06548 [math.LO] (Published 2016-01-25)

Schematic Cut elimination and the Ordered Pigeonhole Principle [Extended Version]