On simple theories of a complex world
β Scribed by Willard van Orman Quine
- Publisher
- Springer Netherlands
- Year
- 1963
- Tongue
- English
- Weight
- 228 KB
- Volume
- 15
- Category
- Article
- ISSN
- 0039-7857
No coin nor oath required. For personal study only.
π SIMILAR VOLUMES
We answer the question of which theories in the sense of Gabriel and Ulmer give rise to (finitary, multi-sorted) varieties and exhibit the 2-category of varieties as a (non-full) bireflective sub-2-category of the 2-category of locally finitely presentable categories. A central role is played by tho
## Abstract We investigate stationarity of types over models in simple theories. In particular, we show that in simple theories with finite SUβrank, any complete type over a model having CantorβBendixson rank is stationary. (Β© 2008 WILEYβVCH Verlag GmbH & Co. KGaA, Weinheim)