Model Constructions in Stationary Logic. Part I. Forcing

Kim B. Bruce. Model Constructions in Stationary Logic. Part I. Forcing. Journal of Symbolic Logic, 45(3):439-454, 1980.

Abstract

Abstract is missing.