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 |