Showing 1–6 of 6 results for author: Glivický, P

Metaphors in teaching infinity: Limits, cardinalities, and nonstandard models

Authors: Petr Glivický

Abstract: 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 argued that the most significant revolutions in mathematics in the modern period were always triggered by a development in our understanding of infinity. From the pedagogical point of view, the students' comprehension of the… ▽ More 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 argued that the most significant revolutions in mathematics in the modern period were always triggered by a development in our understanding of infinity. From the pedagogical point of view, the students' comprehension of the concept of infinity is a competence of interdisciplinary value, helping them to grasp the reasons why and how individual disciplines of modern mathematics were built up. In this paper we present a number of illustrations, examples, and allegories that illuminate and clarify different aspects of infinity. The author has been using and gradually developing these metaphors for infinity in his undergraduate and graduate courses and popular lectures on mathematical logic, set theory, calculus, and nonstandard analysis during the last decade. The aim of this paper is to share the accumulated didactic know-how. △ Less

Submitted 17 December, 2018; originally announced December 2018.

MSC Class: 97D40 (Primary); 97E30; 97E60 (Secondary)

A note on the problem of prisoners and hats

Authors: Petr Glivický

Abstract: 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 versions of the problem (each one in fact a class of problems) and completely characterize them as to (non)existence of winning strategies. 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 versions of the problem (each one in fact a class of problems) and completely characterize them as to (non)existence of winning strategies. △ Less

Submitted 3 January, 2018; originally announced January 2018.

MSC Class: Primary 91A05; Secondary 91A43; 00A08

Shepherdson's theorems for fragments of open induction

Authors: Jana Glivická, Petr Glivický

Abstract: 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 discretely ordered semirings that are integer parts of their real closures. In this paper we prove several analogous results that provide algebraic equivalents to various fragments of IOpen. 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 discretely ordered semirings that are integer parts of their real closures. In this paper we prove several analogous results that provide algebraic equivalents to various fragments of IOpen. △ Less

Submitted 8 January, 2017; originally announced January 2017.

MSC Class: 03C62; 03F30 (Primary); 06F25 (Secondary)

Fermat's Last Theorem and Catalan's Conjecture in Weak Exponential Arithmetics

Authors: Petr Glivický, Vítězslav Kala

Abstract: 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 the language L=(0,1,+,x,<)) by a binary (partial or total) function e intended as an exponential. We provide a general construction of such expansions and prove that it is universal for the class of all exponentials e w… ▽ More 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 the language L=(0,1,+,x,<)) by a binary (partial or total) function e intended as an exponential. We provide a general construction of such expansions and prove that it is universal for the class of all exponentials e which satisfy a certain natural set of axioms Exp. We construct a model (B,e) of Th(N) + Exp and a substructure (A,e) with e total and A model of Pr (Presburger arithmetic) such that in both (B,e) and (A,e) Fermat's Last Theorem for e is violated by cofinally many exponents n and (in all coordinates) cofinally many pairwise linearly independent triples a,b,c. On the other hand, under the assumption of ABC conjecture (in the standard model), we show that Catalan's conjecture for e is provable in Th(N)+Exp (even in a weaker theory) and thus holds in (B,e) and (A,e). Finally, we also show that Fermat's Last Theorem for e is provable (again, under the assumption of ABC in N) in Th(N)+Exp+"coprimality for e". △ Less

Submitted 14 November, 2016; v1 submitted 10 February, 2016; originally announced February 2016.

MSC Class: 03F30 (Primary); 11U10; 03H15; 03C62 (Secondary)

Journal ref: Math. Log. Quart. 63 (2017), 162 - 174

A wild model of linear arithmetic and discretely ordered modules

Authors: Petr Glivický, Pavel Pudlák

Abstract: 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 induction schemes for their respective languages. In this paper we construct a model M of the 2-linear arithmetic LA_2 (linear arithmetic with two scalars) in which an infinitely long initial segment of "Peano multiplic… ▽ More 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 induction schemes for their respective languages. In this paper we construct a model M of the 2-linear arithmetic LA_2 (linear arithmetic with two scalars) in which an infinitely long initial segment of "Peano multiplication" on M is 0-definable. This shows, in particular, that LA_2 is not model complete in contrast to theories LA_1 and LA_0=Pr that are known to satisfy quantifier elimination up to disjunctions of primitive positive formulas. As an application, we show that M, as a discretely ordered module over the discretely ordered ring generated by the two scalars, is not NIP, answering negatively a question of Chernikov and Hils. △ Less

Submitted 8 January, 2017; v1 submitted 9 February, 2016; originally announced February 2016.

Comments: revision: minor changes in the exposition, some references added

MSC Class: 03C62 (Primary) 03C45; 06F25 (Secondary)

Quasi-Euclidean subrings of Q[x]

Authors: Petr Glivický, Jan Šaroch

Abstract: 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 subrings can be either PID or non-UFD, depending on the choice of parameters in our construction. In both cases, there are 2^ω such domains up to ring isomorphism. 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 subrings can be either PID or non-UFD, depending on the choice of parameters in our construction. In both cases, there are 2^ω such domains up to ring isomorphism. △ Less

Submitted 24 October, 2014; originally announced October 2014.

Comments: 9 pages

MSC Class: 13F07 (primary); 13F10; 13F20; 03H15 (secondary)

Journal ref: Glivický Petr, Šaroch Jan, Quasi-Euclidean subrings of Q[x], Communications in Algebra 41 (11), 2013, 4267-4277