Constructing illoyal algebra-valued models of set theory
Published version
Peer-reviewed
Repository URI
Repository DOI
Change log
Authors
Löwe, Benedikt
Paßmann, Robert
Tarafder, Sourav
Abstract
jats:titleAbstract</jats:title>jats:pAn algebra-valued model of set theory is called jats:italicloyal to its algebra</jats:italic> if the model and its algebra have the same propositional logic; it is called jats:italicfaithful</jats:italic> 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.</jats:p>
Description
Keywords
4904 Pure Mathematics, 49 Mathematical Sciences
Journal Title
Algebra universalis
Conference Name
Journal ISSN
0002-5240
1420-8911
1420-8911
Volume Title
82
Publisher
Springer Science and Business Media LLC