Extensions of non-standard models of number theory
β Scribed by Andrew Adler
- Publisher
- John Wiley and Sons
- Year
- 1969
- Tongue
- English
- Weight
- 126 KB
- Volume
- 15
- Category
- Article
- ISSN
- 0044-3050
No coin nor oath required. For personal study only.
π SIMILAR VOLUMES
We investigate the number of proper Ξ»-colourings of a hypergraph extending a given proper precolouring. We prove that this number agrees with a polynomial in Ξ» for any sufficiently large Ξ», and we establish a generalization of Whitney's broken circuit theorem by applying a recent improvement of the
## Abstract We show that there are continuum many different nonβFregean sentential logics that have adequate models. The proof is based on the construction of a special class of models of the power of the continuum. (Β© 2006 WILEYβVCH Verlag GmbH & Co. KGaA, Weinheim)
We deal with models of Peano arithmetic (specifically with a question of Ali Enayat). The methods are from creature forcing. We find an expansion of N such that its theory has models with no (elementary) end extensions. In fact there is a Borel uncountable set of subsets of N such that expanding N b