Real numbers and projective spaces: Intuitionistic reasoning with undecidable basic relations

Research output: Contribution to journal › Article › Scientific › peer-review

Fields of Science

1-s2.0-S0019357718303252-mainAccepted author manuscript, 275 KBLicence: CC BY-NC-ND

@article{81f1560788874a7fb2172409157be8b8,

title = "Real numbers and projective spaces: Intuitionistic reasoning with undecidable basic relations",

keywords = "111 Mathematics, geometry",

author = "{von Plato}, Jan",

year = "2018",

month = dec,

doi = "10.1016/j.indag.2017.10.012",

language = "English",

volume = "29",

pages = "1546--1554",

journal = "Indagationes Mathematicae",

issn = "0019-3577",

publisher = "Elsevier B.V.",

number = "6",

}

TY - JOUR

T1 - Real numbers and projective spaces

T2 - Intuitionistic reasoning with undecidable basic relations

AU - von Plato, Jan

PY - 2018/12

Y1 - 2018/12

KW - 111 Mathematics

KW - geometry

U2 - 10.1016/j.indag.2017.10.012

DO - 10.1016/j.indag.2017.10.012

M3 - Article

VL - 29

SP - 1546

EP - 1554

JO - Indagationes Mathematicae

JF - Indagationes Mathematicae

SN - 0019-3577

IS - 6

ER -