Independence of the uniformity principle from Church's thesis in intuitionistic set theory

Autor:	V Kh Khakhanyan
Rok vydání:	2013
Předmět:	Axiom of extensionality Discrete mathematics Mathematics::Logic Markov chain Computer Science::Logic in Computer Science General Mathematics Independence (mathematical logic) Set theory Mathematical economics Mathematics Complement (set theory)
Zdroj:	Izvestiya: Mathematics. 77:1260-1275
ISSN:	1468-4810 1064-5632
DOI:	10.1070/im2013v077n06abeh002676
Popis:	We prove the independence of the strong uniformity principle from Church's thesis with choice in intuitionistic set theory with the axiom of extensionality extended by Markov's principle and the double complement for sets.
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::a7bc8434be8142b16aefe79394ddd0c1 https://doi.org/10.1070/im2013v077n06abeh002676 Zobrazit plný text záznamu