Independence of the uniformity principle from Church's thesis in intuitionistic set theory (Q5396961)
From MaRDI portal
scientific article; zbMATH DE number 6254898
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Independence of the uniformity principle from Church's thesis in intuitionistic set theory |
scientific article; zbMATH DE number 6254898 |
Statements
Independence of the uniformity principle from Church's thesis in intuitionistic set theory (English)
0 references
4 February 2014
0 references
intuitionistic logic
0 references
set theory
0 references
recursive realizability
0 references
Church's thesis
0 references
uniformity principle
0 references
double complementation principle
0 references
