PP-2018-15: Löwe, Benedikt and Passmann, Robert and Tarafder, Sourav (2018) Constructing illoyal algebra-valued models of set theory. [Pre-print] (Submitted)
Preview |
Text
LPT.pdf Download (404kB) | Preview |
Abstract
An algebra-valued model of set theory is called loyal to its algebra if the model and its algebra have the same propositional logic; it is called faithful if all elements of the algebra are truth values of a sentence of the language of set theory in the model. We observe that non-trivial automorphisms of the algebra result in models that are not faithful and apply this to construct three classes of illoyal models: the tail stretches, the transposition twists, and the maximal twists.
| Item Type: | Pre-print |
|---|---|
| Report Nr: | PP-2018-15 |
| Series Name: | Prepublication (PP) Series |
| Year: | 2018 |
| Subjects: | Logic Mathematics |
| Depositing User: | Robert Passmann |
| Date Deposited: | 02 Dec 2018 11:19 |
| Last Modified: | 02 Dec 2018 11:19 |
| URI: | https://eprints.illc.uva.nl/id/eprint/1647 |
Actions (login required)
 |
View Item |
