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

Tutkimustuotos: Artikkelijulkaisu › Artikkeli › Tieteellinen › vertaisarvioitu

Alkuperäiskieli	englanti
Lehti	Indagationes Mathematicae
Vuosikerta	29
Numero	6
Sivut	1546-1554
Sivumäärä	9
ISSN	0019-3577
DOI - pysyväislinkit	https://doi.org/10.1016/j.indag.2017.10.012
Tila	Julkaistu - jouluk. 2018
OKM-julkaisutyyppi	A1 Alkuperäisartikkeli tieteellisessä aikakauslehdessä, vertaisarvioitu

Tieteenalat

1-s2.0-S0019357718303252-mainHyväksytty kirjoittajan käsikirjoitus, 275 KBLisenssi: 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 -