Modely aritmetických a bohatých teorií

In the present thesis we study the domain of Peano products (in a given model of the Presburger arithmetic (Pr)) as a potentially possible base for a construction of models of the Peano arithmetic (PA). This issue is a special case of the presentation problem which is closely connected to the concep...

Full description

Bibliographic Details
Main Author: Glivický, Petr
Other Authors: Vopěnka, Petr
Format: Dissertation
Language:Czech
Published: 2009
Online Access:http://www.nusl.cz/ntk/nusl-277566

Similar Items