Recent and upcoming talks by Robert Passmann

Robert Passmann: The de Jongh Property for a Subtheory of CZF

Tuesday, November 6, 2018, 10:30 Seminar room N0.003, Mathematical Institute, University of Bonn Speaker: Robert Passmann (Amsterdam) Title: The de Jongh Property for a Subtheory of CZF Abstract: After recalling intuitionistic logic, Kripke semantic, and (Heyting) algebra-valued models for set theory, we will introduce the notions of loyalty and faithfulness: An algebra-valued model is called loyal if its propositional logic is the propositional logic of its underlying algebra; it is called faithful if all elements of the underlying algebra are truth values of sentences in the language of set theory in the model. continue reading…