Abstract | ||
---|---|---|
This paper is the first in a series whose objective is to study notions of large sets in the context of formal theories of constructivity. The two theories considered are Aczel's constructive set theory (CZF) and Martin-Löf's intuitionistic theory of types. |
Year | DOI | Venue |
---|---|---|
1998 | 10.1016/S0168-0072(97)00072-9 | Annals of Pure and Applied Logic |
Keywords | Field | DocType |
03B15,03F25,03F50,03E55 | Discrete mathematics,Combinatorics,Algebra,Axiom,Enumeration,Assertion,Type theory,Constructive set theory,Universe,Transfinite number,Mathematics | Journal |
Volume | Issue | ISSN |
94 | 1-3 | 0168-0072 |
Citations | PageRank | References |
13 | 2.08 | 4 |
Authors | ||
3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Michael Rathjen | 1 | 42 | 6.58 |
Edward Griffor | 2 | 48 | 10.00 |
Erik Palmgren | 3 | 233 | 43.17 |