Abstract

We present the problem stated in intuitive language as problem 2 at the 52nd International Mathematical Olympiad as a formal statement, and prove that it is valid in ordered regular incidence planes, the weakest ordered geometry whose models can be embedded in projective ordered planes.

Original languageEnglish (US)
Pages (from-to)113-121
Number of pages9
JournalIndagationes Mathematicae
Volume25
Issue number1
DOIs
StatePublished - Jan 5 2014

Fingerprint

Intuitive
Incidence
Valid
Model
Language

Keywords

  • Ordered regular incidence planes
  • Purity of the method
  • Windmill problem

ASJC Scopus subject areas

  • Mathematics(all)

Cite this

An axiomatic look at a windmill. / Pambuccian, Victor.

In: Indagationes Mathematicae, Vol. 25, No. 1, 05.01.2014, p. 113-121.

Research output: Contribution to journalArticle

@article{765d119373dd495ca06e186c589ee596,
title = "An axiomatic look at a windmill",
abstract = "We present the problem stated in intuitive language as problem 2 at the 52nd International Mathematical Olympiad as a formal statement, and prove that it is valid in ordered regular incidence planes, the weakest ordered geometry whose models can be embedded in projective ordered planes.",
keywords = "Ordered regular incidence planes, Purity of the method, Windmill problem",
author = "Victor Pambuccian",
year = "2014",
month = "1",
day = "5",
doi = "10.1016/j.indag.2013.08.002",
language = "English (US)",
volume = "25",
pages = "113--121",
journal = "Indagationes Mathematicae",
issn = "0019-3577",
publisher = "Elsevier",
number = "1",

}

TY - JOUR

T1 - An axiomatic look at a windmill

AU - Pambuccian, Victor

PY - 2014/1/5

Y1 - 2014/1/5

N2 - We present the problem stated in intuitive language as problem 2 at the 52nd International Mathematical Olympiad as a formal statement, and prove that it is valid in ordered regular incidence planes, the weakest ordered geometry whose models can be embedded in projective ordered planes.

AB - We present the problem stated in intuitive language as problem 2 at the 52nd International Mathematical Olympiad as a formal statement, and prove that it is valid in ordered regular incidence planes, the weakest ordered geometry whose models can be embedded in projective ordered planes.

KW - Ordered regular incidence planes

KW - Purity of the method

KW - Windmill problem

UR - http://www.scopus.com/inward/record.url?scp=84888197712&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84888197712&partnerID=8YFLogxK

U2 - 10.1016/j.indag.2013.08.002

DO - 10.1016/j.indag.2013.08.002

M3 - Article

AN - SCOPUS:84888197712

VL - 25

SP - 113

EP - 121

JO - Indagationes Mathematicae

JF - Indagationes Mathematicae

SN - 0019-3577

IS - 1

ER -