Zobrazeno 1 - 10
of 1 252
pro vyhledávání: '"intuitionistic set"'
Autor:
Maschio, Samuele
In this paper we will show that using implicative algebras one can produce models of intuitionistic set theory generalizing both realizability and Heyting-valued models. This has as consequence that if one assumes the inaccessible cardinal axiom, the
Externí odkaz:
http://arxiv.org/abs/2301.11740
Autor:
Faizi, Shahzad1 (AUTHOR), Svitenko, Heorhii2,3 (AUTHOR), Rashid, Tabasam4 (AUTHOR), Zafar, Sohail4 (AUTHOR), Sałabun, Wojciech3 (AUTHOR) wojciech.salabun@zut.edu.pl
Publikováno v:
Mathematics (2227-7390). Mar2023, Vol. 11 Issue 5, p1190. 17p.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
We introduce a realisability semantics for infinitary intuitionistic set theory that is based on Ordinal Turing Machines (OTMs). We show that our notion of OTM-realisability is sound with respect to certain systems of infinitary intuitionistic logic,
Externí odkaz:
http://arxiv.org/abs/2009.12172
Autor:
Frittaion, Emanuele, Rathjen, Michael
In generic realizability for set theories, realizers treat unbounded quantifiers generically. To this form of realizability, we add another layer of extensionality by requiring that realizers ought to act extensionally on realizers, giving rise to a
Externí odkaz:
http://arxiv.org/abs/2012.04300
Autor:
Nemoto, Takako, Rathjen, Michael
Independence of premise principles play an important role in characterizing the modified realizability and the Dialectica interpretations. In this paper we show that a great many intuitionistic set theories are closed under the corresponding independ
Externí odkaz:
http://arxiv.org/abs/1911.08027
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Sato, Masahiro, Garrigue, Jacques
Werner's set-theoretical model is one of the simplest models of CIC. It combines a functional view of predicative universes with a collapsed view of the impredicative sort Prop. However this model of Prop is so coarse that the principle of excluded m
Externí odkaz:
http://arxiv.org/abs/2010.12504