8 citations · 13 across the 7 of their papers we have counts for
Showing 2012Show all
2 papers · 1 filter
math.MG2012★ 2 cited
A definitional view of Vogt's variant of the Mazur-Ulam theorem
Victor Pambuccian
A rephrasing of Vogt's and Skof's version of the Ulam-Mazur theorem as a definability statement.
math.LO2012
An axiomatic look at a windmill
Victor Pambuccian
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 regula…