# On Sets ${\mathcal X} \subseteq$ $\mathbb N$ for Which We Know an Algorithm That Computes a Threshold Number $t({\mathcal X}) \in$ $\mathbb N$ Such That ${\mathcal X}$ Is Infinite If and Only If ${\mathcal X}$ Contains an eLement Greater Than $t({\mathcal X})$

Version 2 : Received: 15 November 2018 / Approved: 16 November 2018 / Online: 16 November 2018 (11:40:40 CET)

Version 3 : Received: 20 November 2018 / Approved: 20 November 2018 / Online: 20 November 2018 (06:57:27 CET)

Version 4 : Received: 29 November 2018 / Approved: 29 November 2018 / Online: 29 November 2018 (05:28:14 CET)

Version 5 : Received: 29 December 2018 / Approved: 3 January 2019 / Online: 3 January 2019 (09:43:19 CET)

Version 6 : Received: 9 January 2019 / Approved: 10 January 2019 / Online: 10 January 2019 (07:08:38 CET)

Version 7 : Received: 5 April 2019 / Approved: 9 April 2019 / Online: 9 April 2019 (05:40:44 CEST)

Version 8 : Received: 1 June 2019 / Approved: 5 June 2019 / Online: 5 June 2019 (08:37:55 CEST)

Version 9 : Received: 19 February 2020 / Approved: 25 February 2020 / Online: 25 February 2020 (10:06:45 CET)

How to cite:
Tyszka, A. On Sets ${\mathcal X} \subseteq$ $\mathbb N$ for Which We Know an Algorithm That Computes a Threshold Number $t({\mathcal X}) \in$ $\mathbb N$ Such That ${\mathcal X}$ Is Infinite If and Only If ${\mathcal X}$ Contains an eLement Greater Than $t({\mathcal X})$. *Preprints* **2018**, 2018110301. https://doi.org/10.20944/preprints201811.0301.v1
Tyszka, A. On Sets ${\mathcal X} \subseteq$ $\mathbb N$ for Which We Know an Algorithm That Computes a Threshold Number $t({\mathcal X}) \in$ $\mathbb N$ Such That ${\mathcal X}$ Is Infinite If and Only If ${\mathcal X}$ Contains an eLement Greater Than $t({\mathcal X})$. Preprints 2018, 2018110301. https://doi.org/10.20944/preprints201811.0301.v1

## Abstract

*if a system ${\mathcal S} \subseteq \Bigl\{x_i!=x_k: (i,k \in \{1,\ldots,n\}) \wedge (i \neq k)\Bigr\} \cup \Bigl\{x_i \cdot x_j=x_k: i,j,k \in \{1,\ldots,n\}\Bigr\}$ has only finitely many solutions in positive integers $x_1,\ldots,x_n$, then each such solution $(x_1,\ldots,x_n)$ satisfies $x_1,\ldots,x_n \leqslant g(n)$*. For a positive integer $n$, let $\Gamma_n$ denote the following statement:

*if a system $S \subseteq \Bigl\{x_i \cdot x_j=x_k:~i,j,k \in \{1,\ldots,n\}\Bigr\} \cup \Bigl\{2^{\textstyle 2^{\textstyle x_i}}=x_k:~i,k \in \{1,\ldots,n\}\Bigr\}$ has only finitely many solutions in positive integers $x_1,\ldots,x_n$, then each such solution $(x_1,\ldots,x_n)$ satisfies $x_1,\ldots,x_n \leqslant h(n)$*. We prove: (

**1**) if the equation $x!+1=y^2$ has only finitely many solutions in positive integers, then the statement $\Psi_6$ guarantees that each such solution $(x,y)$ belongs to the set $\{(4,5),(5,11),(7,71)\}$, (

**2**) the statement $\Psi_9$ proves the following implication: if there exists a positive integer $x$ such that $x^2+1$ is prime and $x^2+1>g(7)$, then there are infinitely many primes of the form $n^2+1$, (

**3**) the statement $\Psi_9$ proves the following implication: if there exists an integer $x \geqslant g(6)$ such that $x!+1$ is prime, then there are infinitely many primes of the form $n!+1$, (

**4**) the statement $\Psi_{16}$ proves the following implication: if there exists a twin prime greater than $g(14)$, then there are infinitely many twin primes, {\bf (5)}~the statement $\Gamma_{13}$ proves the following implication: if $n \in$ $\mathbb N$ $\setminus \{0\}$ and $2^{\textstyle 2^{\textstyle n}}+1$ is composite and greater than $h(12)$, then $2^{\textstyle 2^{\textstyle n}}+1$ is composite for infinitely many positive integers $n$.

## Keywords

## Subject

Copyright: This is an open access article distributed under the Creative Commons Attribution License which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

## Comments (0)

We encourage comments and feedback from a broad range of readers. See criteria for comments and our Diversity statement.

Leave a public commentSend a private comment to the author(s)