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

Forskningsoutput: Tidskriftsbidrag › Artikel › Vetenskaplig › Peer review

Originalspråk	engelska
Tidskrift	Indagationes Mathematicae
Volym	29
Nummer	6
Sidor (från-till)	1546-1554
Antal sidor	9
ISSN	0019-3577
DOI	https://doi.org/10.1016/j.indag.2017.10.012
Status	Publicerad - dec. 2018
MoE-publikationstyp	A1 Tidskriftsartikel-refererad

Vetenskapsgrenar

1-s2.0-S0019357718303252-mainAccepterat manuskript från författare, 275 KBLicens: 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 -