This article is cited in 3 papers

On the weight of the comprehension axiom in a theory based on logic without contractions

V. N. Grishin

Steklov Mathematical Institute, Russian Academy of Sciences

UDC: 510

Received: 18.11.1998

DOI: 10.4213/mzm1208

 English version: Mathematical Notes, 1999, 66:5, 533–540

Bibliographic databases:

• 
• 
• 
•