2 papers
cs.IT2020
On matrices potentially useful for tree codes
Pavel Pudlák
Motivated by a concept studied in [1], we consider a property of matrices over finite fields that generalizes triangular totally nonsingular matrices to block matrices. We show tha…
math.LO2020
Reflection principles, propositional proof systems, and theories
Pavel Pudlák
The reflection principle is the statement that if a sentence is provable then it is true. Reflection principles have been studied for first-order theories, but they also play an im…