72 citations
Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.
- Jagiellonian UniversityPL11 papers
- AGH University of KrakowPL6 papers
- Institute of MathematicsPL4 papers
- Kyungpook National UniversityKR3 papers
- University of GenevaCH3 papers
- Centre National de la Recherche ScientifiqueFR2 papers
- FZU ‒ Institute of Physics of the Academy of Sciences of the Czech RepublicCZ2 papers
- HES-SO University of Applied Sciences and Arts Western SwitzerlandCH2 papers
- Institute of Computer SciencePL2 papers
- Institute of Nuclear Physics, Polish Academy of SciencesPL2 papers
- Krakow Cardiovascular Research InstitutePL2 papers
- Laboratoire Paul PainlevéFR2 papers
5 papers · 1 filter
Hilbert's 10th Problem for solutions in a subring of Q
Agnieszka Peszek, Apoloniusz Tyszka
Yuri Matiyasevich's theorem states that the set of all Diophantine equations which have a solution in non-negative integers is not recursive. Craig Smoryński's theorem states that…
Is there a computable upper bound for the height of a solution of a Diophantine equation with a unique solution in positive integers?
Apoloniusz Tyszka
Let B_n={x_i \cdot x_j=x_k, x_i+1=x_k: i,j,k \in {1,...,n}}. For a positive integer n, let ξ(n) denote the smallest positive integer b such that for each system S \subseteq B_n wit…
A stronger form of the theorem constructing a rigid binary relation on any set
Apoloniusz Tyszka
On every set A there is a rigid binary relation i.e. such a relation R \subseteq A \times A that there is no homomorphism (A,R) \rightarrow (A,R) except the identity (Vop{ě}nka et…
A combinatorial characterization of second category subsets of X^ω
Apoloniusz Tyszka
Let a finite non-empty X is equipped with discrete topology. We prove that S \subseteq X^ωis of second category if and only if for each f:ω-> \bigcup_{n \in ω} X^n there exists a s…
A new combinatorial characterization of the minimal cardinality of a subset of R which is not of first category
Apoloniusz Tyszka
Let M denote the ideal of first category subsets of R. We prove that min{card X: X \subseteq R, X \not\in M} is the smallest cardinality of a family S \subseteq {0,1}^ωwith the pro…