scientific article; zbMATH DE number 203220
From MaRDI portal
Publication:4695118
zbMath0788.03040MaRDI QIDQ4695118
Publication date: 11 August 1993
Full work available at URL: http://www.numdam.org/item?id=ASCFM_1992__98_28_17_0
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
maximal extensionforcing-companionpre-inductive theorypre-model-completionspseudo- forcingRobinson's weak forcing
Cites Work