Displaying similar documents to “An axiom system for the class of groups of dilatations in Fano-Pappian affine planes”

[unknown]

M. Jelić (1990)

Matematički Vesnik

Similarity:

Affine bijections of C(X,I)

Janko Marovt (2006)

Studia Mathematica

Similarity:

Let 𝒳 be a compact Hausdorff space which satisfies the first axiom of countability, I = [0,1] and 𝓒(𝒳,I) the set of all continuous functions from 𝒳 to I. If φ: 𝓒(𝒳,I) → 𝓒(𝒳,I) is a bijective affine map then there exists a homeomorphism μ: 𝒳 → 𝒳 such that for every component C in 𝒳 we have either φ(f)(x) = f(μ(x)), f ∈ 𝓒(𝒳,I), x ∈ C, or φ(f)(x) = 1-f(μ(x)), f ∈ 𝓒(𝒳,I), x ∈ C.

Tarski Geometry Axioms

William Richter, Adam Grabowski, Jesse Alama (2014)

Formalized Mathematics

Similarity:

This is the translation of the Mizar article containing readable Mizar proofs of some axiomatic geometry theorems formulated by the great Polish mathematician Alfred Tarski [8], and we hope to continue this work. The article is an extension and upgrading of the source code written by the first author with the help of miz3 tool; his primary goal was to use proof checkers to help teach rigorous axiomatic geometry in high school using Hilbert’s axioms. This is largely a Mizar port of Julien...