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

V. Kh. Khakhanyan

Moscow State University of Railway Communications

Abstract: 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.

Keywords: intuitionistic logic, set theory, universe of sets, recursive realizability, Church's thesis, uniformity principle, extensionality function of a set.

UDC: 517.120

MSC: Primary 03B20; Secondary 03F55

Received: 21.03.2011
Revised: 29.06.2012

DOI: 10.4213/im7739

 English version: Izvestiya: Mathematics, 2013, 77:6, 1260–1275

Bibliographic databases:

• 
• 
• 
• 
• 
• 
•