Login
Type of document: Article
Language: English
Author(s): Pincus, David
Title: Adding Dependent Choice to the Prime Ideal Theorem
Year: 1976
Source: Logic Colloquium '76
Pages: 547-565