An axiom system for the class of groups of dilatations in Fano-Pappian affine planes

Malgorzata Grochowska

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

Quantifier-free axioms for constructive plane geometry

Nancy Moler, Patrick Suppes (1968)

Compositio Mathematica

Similarity:

The interdependence of certain consequences of the axiom of choice

A. Lévy (1964)

Fundamenta Mathematicae

Similarity:

[unknown]

M. Jelić (1990)

Matematički Vesnik

Similarity:

On the axiom of choice for families of finite sets

K. Wiśniewski (1972)

Fundamenta Mathematicae

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.

A reduction of the axioms for the theory of prepositional types

P. Andrews (1963)

Fundamenta Mathematicae

Similarity:

Metamathematical discussion of some affine geometries

L. Szczerba, Alfred Tarski (1979)

Fundamenta Mathematicae

Similarity:

Affine super-Pythagorean geometry.

Pambuccian, Victor (2000)

Beiträge zur Algebra und Geometrie

Similarity:

Meaningfulness and the Erlanger program of Felix Klein

L. Narens (1988)

Mathématiques et Sciences Humaines

Similarity:

Three Propositions Equivalent To The Axiom Of Choice

Perry Smith (1982)

Publications de l'Institut Mathématique

Similarity:

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...