30 M. Rathjen: Fragments of Kripke-Platek set theory with infinity (1989)

by W
Venue:Pohlers: Proof theory. Lecture Notes in Mathematics 1407
Add To MetaCart
Results 1 - 1 of 1

Choice principles in constructive and classical set theories

by Michael Rathjen - POHLERS (EDS.): PROCEEDINGS OF THE LOGIC COLLOQUIUM 2002 , 2002
"... The objective of this paper is to assay several forms of the axiom of choice that have been deemed constructive. In addition to their deductive relationships, the paper will be concerned with metamathematical properties effected by these choice principles and also with some of their classical models ..."
Abstract - Cited by 4 (3 self) - Add to MetaCart
The objective of this paper is to assay several forms of the axiom of choice that have been deemed constructive. In addition to their deductive relationships, the paper will be concerned with metamathematical properties effected by these choice principles and also with some of their classical models.