Constructing illoyal algebra-valued models of set theory
| Authors |
|
|---|---|
| Publication date | 08-2021 |
| Journal | Algebra Universalis |
| Article number | 46 |
| Volume | Issue number | 82 | 3 |
| Number of pages | 19 |
| Organisations |
|
| 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: tail stretches, transposition twists, and maximal twists. |
| Document type | Article |
| Language | English |
| Published at | https://doi.org/10.1007/s00012-021-00735-4 |
| Downloads |
Löwe2021_Article_ConstructingIlloyalAlgebra-val
(Final published version)
|
| Permalink to this page | |
