1 citations · 1 across the 3 of their papers we have counts for
3 papers
math.HO2018
Metaphors in teaching infinity: Limits, cardinalities, and nonstandard models
Petr Glivický
Mathematical conception of infinite quantities forms a cornerstone of many disciplines of modern mathematics --- from differential calculus to set theory. In fact, it could be argu…
math.CO2018
A note on the problem of prisoners and hats
Petr Glivický
We study the famous mathematical puzzle of prisoners and hats. We introduce a framework in which various variants of the problem can be formalized. We examine three particular vers…
math.LO2017★ 1 cited
Shepherdson's theorems for fragments of open induction
Jana Glivická, Petr Glivický
By a well-known result of Shepherdson, models of the theory IOpen (a first order arithmetic containing the scheme of induction for all quantifier free formulas) are exactly all the…