Author:
Löwe Benedikt,Paßmann Robert,Tarafder Sourav
Abstract
AbstractAn 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.
Publisher
Springer Science and Business Media LLC
Subject
Algebra and Number Theory
Reference28 articles.
1. Bell, J.L.: Set theory, Boolean-valued models and independence proofs, Oxford Logic Guides, vol. 47, third edn. Oxford University Press (2005)
2. Bezhanishvili, N., de Jongh, D.: Intuitionistic logic (2006). Lecture Notes, ILLC Publications PP-2006-25
3. Blackburn, P., de Rijke, M., Venema, Y.: Modal Logic, Cambridge Tracts in Theoretical Computer Science, vol. 53. Cambridge University Press (2001)
4. Chakraborty, M.K., Tarafder, S.: A paraconsistent logic obtained from an algebra-valued model of set theory. In: J.Y. Béziau, M.K. Chakraborty, S. Dutta (eds.) New Directions in Paraconsistent Logic, 5th WCP, Kolkata, India, February 2014, Springer Proceedings in Mathematics & Statistics, vol. 152, pp. 165–183. Springer-Verlag (2016)
5. de Jongh, D., Verbrugge, R., Visser, A.: Intermediate logics and the de Jongh property. Arch. Math. Log. 50(1–2), 197–213 (2011)
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献