3 papers
math.LO2014
Scott processes
Paul B. Larson
The Scott process of a relational structure is the sequence of sets of formulas given by the Scott analysis of . We present axioms for the class of Scott processes of struct…
math.LO2010
Splitting stationary sets from weak forms of Choice
Paul Larson, Saharon Shelah
Working in the context of restricted forms of the Axiom of Choice, we consider the problem of splitting the ordinals below of cofinality into many stationary sets, wher…
math.LO2010
The Stationary Set Splitting Game
Paul Larson, Saharon Shelah
The \emph{stationary set splitting game} is a game of perfect information of length between two players, \unspls and \spl, in which \unspls chooses stationarily many counta…