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

Cover Page

Cite item

Full Text

Abstract

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.

About the authors

Valery Khristoforovich Khakhanian

Moscow State University of railway communications

Email: valkhakhanian@gmail.com
Chair of Mathematics

References


Copyright (c) 2013 Khakhanian V.K.

Creative Commons License
This work is licensed under a Creative Commons Attribution-NonCommercial 4.0 International License.

This website uses cookies

You consent to our cookies if you continue to use our website.

About Cookies