Repository logo
 

Constructing illoyal algebra-valued models of set theory

Published version
Peer-reviewed

Loading...
Thumbnail Image

Type

Article

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

Volume Title

82

Publisher

Springer Science and Business Media LLC