Source author record

Lorenz Halbeisen

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.LO math.NT

Catalog footprint

Research overview

3works

2topics

3close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2021arXiv

Pairing Pythagorean Pairs

A pair $(a, b)$ of positive integers is a pythagorean pair if $a^2 + b^2 = \Box$ (i.e., $a^2 + b^2$ is a square). A pythagorean pair $(a, b)$ is called a double-pythapotent pair if there is another pythagorean pair $(k,l)$ such that $(ak,bl)$ is a pythagorean pair, and it is called a quadratic pythapotent pair if there is another pythagorean pair $(k,l)$ which is not a multiple of $(a,b)$ , such that $(a^2k,b^2l)$ is a pythagorean pair. To each pythagorean pair $(a, b)$ we assign an elliptic curve $Γ_{a,b}$ with torsion group $\mathbb Z/2\mathbb Z\times\mathbb Z/4\mathbb Z$ , such that $Γ_{a,b}$ has positive rank if and only if $(a, b)$ is a double-pythapotent pair. Similarly, to each pythagorean pair $(a, b)$ we assign an elliptic curve $Γ_{a^2 ,b^2}$ with torsion group $\mathbb Z/2\mathbb Z\times\mathbb Z/8\mathbb Z$ , such that $Γ_{a^2,b^2}$ has positive rank if and only if $(a,b)$ is a quadratic pythapotent pair. Moreover, in the later case we obtain that every elliptic curve $Γ$ with torsion group $\mathbb Z/2\mathbb Z\times\mathbb Z/8\mathbb Z$ is isomorphic to a curve of the form $Γ_{a^2 ,b^2}$ , where $(a,b)$ is a pythagorean pair. As a side-result we get that if $(a,b)$ is a double-pythapotent pair, then there are infinitely many pythagorean pairs $(k, l)$ , not multiples of each other, such that $(ak, bl)$ is a pythagorean pair; the analogous result holds for quadratic pythapotent pairs.

preprint2021arXiv

Some implications of Ramsey Choice for n-element sets

Let $n\inω$ . The weak choice principle $\operatorname{RC}_n$ states that for every infinite set $x$ there is an infinite subset $y\subseteq x$ with a choice function on $[y]^n:=\{z\subseteq y\mid \lvert z\rvert =n\}$ . $\operatorname{C}_n^-$ states that for every infinite family of $n$ -element sets, there is an infinite subfamily $\mathcal{G}\subseteq\mathcal{F}$ with a choice function. $\operatorname{LOC}_n^-$ and $\operatorname{WOC}_n^-$ are the same statement but we assume that the family $\mathcal{F}$ is linearly orderable ( $\operatorname{LOC}_n^-$ ) or well-orderable ( $\operatorname{WOC}_n^-$ ). In the first part of this paper we will give a full characterization of when the implication $\operatorname{RC}_m\Rightarrow \operatorname{WOC}_n^-$ with $m,n\inω$ holds in $\operatorname{ZF}$ . We will prove the independence results by using suitable Fraenkel-Mostowski permutation models. In the second part of we will show some generalizations. In particular we will show that $\operatorname{RC}_5\Rightarrow \operatorname{LOC}_5^-$ and $\operatorname{RC}_6\Rightarrow \operatorname{C}_3^-$ , answering two open questions from Halbeisen and Tachtsis. Furthermore we will show that $\operatorname{RC}_6\Rightarrow \operatorname{C}_9^-$ and $\operatorname{RC}_7\Rightarrow \operatorname{LOC}_7^-$ .

preprint1993arXiv

Consequences of arithmetic for set theory

In this paper, we consider certain cardinals in ZF (set theory without AC, the Axiom of Choice). In ZFC (set theory with AC), given any cardinals C and D, either C <= D or D <= C. However, in ZF this is no longer so. For a given infinite set A consider Seq(A), the set of all sequences of A without repetition. We compare |Seq(A)|, the cardinality of this set, to |P(A)|, the cardinality of the power set of A. What is provable about these two cardinals in ZF? The main result of this paper is that ZF |- for all A: |Seq(A)| not= |P(A)| and we show that this is the best possible result. Furthermore, it is provable in ZF that if B is an infinite set, then |fin(B)|<|P(B)|, even though the existence for some infinite set B^* of a function f from fin(B^*) onto P(B^*) is consistent with ZF.

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.