5 citations · 5 across the 2 of their papers we have counts for
3 papers
math.LO2016
Fermat's Last Theorem and Catalan's Conjecture in Weak Exponential Arithmetics
Petr Glivický, Vítězslav Kala
We study Fermat's Last Theorem and Catalan's conjecture in the context of weak arithmetics with exponentiation. We deal with expansions (B,e) of models of arithmetical theories (in…
math.LO2016
A wild model of linear arithmetic and discretely ordered modules
Petr Glivický, Pavel Pudlák
Linear arithmetics are extensions of Presburger arithmetic (Pr) by one or more unary functions, each intended as multiplication by a fixed element (scalar), and containing the full…
math.RA2014★ 5 cited
Quasi-Euclidean subrings of Q[x]
Petr Glivický, Jan Šaroch
Using a nonstandard model of Peano arithmetic, we show that there are quasi-Euclidean subrings of Q[x] which are not k-stage Euclidean for any norm and positive integer k. These su…