Models of expansions of with no end extensions
โ Scribed by Saharon Shelah
- Publisher
- John Wiley and Sons
- Year
- 2011
- Tongue
- English
- Weight
- 297 KB
- Volume
- 57
- Category
- Article
- ISSN
- 0044-3050
No coin nor oath required. For personal study only.
โฆ Synopsis
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 by any uncountably many of them suffice. Also we find arithmetically closed A with no ultrafilter on it with suitable definability demand (related to being Ramsey).
๐ SIMILAR VOLUMES
## Abstract This paper concerns intermediate structure lattices Lt(๐ฉ/โณ๏ธ), where ๐ฉ is an almost minimal elementary end extension of the model โณ๏ธ of Peano Arithmetic. For the purposes of this abstract only, let us say that โณ๏ธ attains __L__ if __L__ โ Lt(๐ฉ/โณ๏ธ) for some almost minimal elementary end ex
Capacity expansion models are typically formulated in the context of some finite horizon. Because the f m lasts longer than the horizon, a bias can enter into the optimal solution from the model horizon chosen. Recently, Grinold [8] has proposed a "dual-equilibrium method" for ameliorating possible
## Abstract Reinforcement corrosion is the most common reason for the premature deterioration of a concrete structure. In case of a partial depassivation of the reinforcement macrocells are formed with considerable metal removal rates. Thus an assessment of the macrocell current becomes of great co