Showing 1–2 of 2 results for author: Burke, J R
-
A Finite, Feasible, Quantifier-free Foundation for Constructive Geometry
Authors:
John R. Burke
Abstract:
In this paper we will develop an axiomatic foundation for the geometric study of straight edge, protractor, and compass constructions, which while being related to previous foundations, will be the first to have all axioms written and all proofs conducted in quantifier-free first order logic. All constructions within the system will be justified to be feasible by basic human faculties. No statemen…
▽ More
In this paper we will develop an axiomatic foundation for the geometric study of straight edge, protractor, and compass constructions, which while being related to previous foundations, will be the first to have all axioms written and all proofs conducted in quantifier-free first order logic. All constructions within the system will be justified to be feasible by basic human faculties. No statement in the system will refer to infinitely many objects and one can posit an interpretation of the system which is in accordance to our free, creative process of geometric constructions. We are also able to capture analogous results to Euclid's work on non-planar geometry in Book XI of The Elements.
This paper primarily builds on Suppes' paper Quantifier-Free Axioms for Constructive Affine Plane Geometry and draws from Beeson's article A Constructive Version of Tarski's Geometry. By further developing Suppes' work on parallel line segments, we are able to develop analogs to most theorems about parallel lines without assuming an equivalent to Euclid's Fifth Postulate which we deem as introducing non-feasible constructions. In A Constructive Version of Tarski's Geometry, Beeson defines the characteristics such a geometric foundation should have to called constructive. This work satisfies these characteristics. Additionally this work would be considered constructive as Suppes defined it.
△ Less
Submitted 16 September, 2020; v1 submitted 14 September, 2020;
originally announced September 2020.
-
Mixing endomorphisms on toroidal groups and their countable products
Authors:
John R. Burke,
Leonardo Pinheiro
Abstract:
We show that all non-trivial continuous endomorphisms of the circle group are topologically mixing. We also show that there exists a large infinite class of continuous endomorphisms of any n-dimensional torus group which are topologically mixing.
Lastly, we prove that any continuous endomorphism on an abelian polish semigroup (with an identity) can be extended in a natural way to a topologically…
▽ More
We show that all non-trivial continuous endomorphisms of the circle group are topologically mixing. We also show that there exists a large infinite class of continuous endomorphisms of any n-dimensional torus group which are topologically mixing.
Lastly, we prove that any continuous endomorphism on an abelian polish semigroup (with an identity) can be extended in a natural way to a topologically mixing endomorphism on the countable infinite product of said semigroup. This shows that every countable infinite product of an abelian polish semigroup has a topologically mixing endomorphism and, in particular, the countable infinite toroidal group has infinitely many topologically mixing endomorphisms.
△ Less
Submitted 21 June, 2016;
originally announced June 2016.
