The Review of Relations of Principles of Strong Uniformization and Church Thesis in Intuitionistic Set Theory

Cover Page


We prove that the strong uniformization does not depend on Church thesis with choice in the set theory with intuitionistic logic and with axiom of extensionality.

Valery Khristoforovich Khakhanian

Moscow State University of railway communications

Chair of Mathematics


Abstract - 66

PDF (Russian) - 12

Copyright (c) 2016 Philosophy