A generalized cut characterization of the fullness axiom in CZF (Q4925158)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: A generalized cut characterization of the fullness axiom in CZF |
scientific article; zbMATH DE number 6174081
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A generalized cut characterization of the fullness axiom in CZF |
scientific article; zbMATH DE number 6174081 |
Statements
A generalized cut characterization of the fullness axiom in CZF (English)
0 references
11 June 2013
0 references
Dedekind reals
0 references
axiom of choice
0 references
axiom of power set
0 references
constructive Zermelo-Fraenkel set theory
0 references
predicativity
0 references
