2 citations · 4 across the 7 of their papers we have counts for
Showing 2016 · math.LOShow all
2 papers · 2 filters
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.LO2016
Incompleteness in the finite domain
Pavel Pudlak
Motivated by the problem of finding finite versions of classical incompleteness theorems, we present some conjectures that go beyond . These conjectures formall…