Forcing revisited

Meadows, T

Meadows, T (通讯作者),Univ Calif Irvine, Dept Log & Philosophy Sci, 739 Social Sci Tower, Irvine, CA 92697 USA.

MATHEMATICAL LOGIC QUARTERLY, 2023; ():

Abstract

The purpose of this paper is to propose and explore a general framework within which a wide variety of model construction techniques from contemporary......

Full Text Link