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...
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Dissertation |
| Language: | Czech |
| Published: |
2009
|
| Online Access: | http://www.nusl.cz/ntk/nusl-277566 |