Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Apoloniusz Tyszka
Diophantine Equations With a Finite Number of Solutions: Craig Smorynski's Theorem, Harvey Friedman's Conjecture and Minhyong Kim's Guess
On Sets $X \Subseteq {\Mathbb N}$ for Which an Explicitly Known Algorithm Returns an Integer $N$ Such That $\Max(X)<n$ if $X$ Is Finite
