Square bracket partition relations in L
Squares with diamonds and Souslin trees with special squares
Stabilité des corps séparablement clos
Stable families of analytic sets
We give a different proof of the well-known fact that any uncountable family of analytic subsets of a Polish space with the point-finite intersection property must contain a subfamily whose union is not analytic. Our approach is based on the Kunen-Martin theorem.
Stable sets, a characterization of -models of full second order arithmetic and some related facts
Stable surjection logic
Stackautomaten in Labyrinthen.
Standard monads
Starkes und überstarkes Auswahlaxiom.
State space properties of finite logics
States of affairs as values for formulas
States on basic algebras
States on commutative basic algebras were considered in the literature as generalizations of states on MV-algebras. It was a natural question if states exist also on basic algebras which are not commutative. We answer this question in the positive and give several examples of such basic algebras and their states. We prove elementary properties of states on basic algebras. Moreover, we introduce the concept of a state-morphism and characterize it among states. For basic algebras which are the certain...
States on pseudo-effect algebras with general comparability
Stationary reflection and level by level equivalence
We force and construct a model in which level by level equivalence between strong compactness and supercompactness holds, along with certain additional “inner model like” properties. In particular, in this model, the class of Mahlo cardinals reflecting stationary sets is the same as the class of weakly compact cardinals, and every regular Jónsson cardinal is weakly compact. On the other hand, we force and construct a model for the level by level equivalence between strong compactness and supercompactness...
Stationary reflection and the universal Baire property
We show that ω₁-Universally Baire self-justifying systems are fully Universally Baire under the Weak Stationary Reflection Principle for Pairs. This involves analyzing the notion of a weakly captured set of reals, a weakening of the Universal Baire Property.
Stationary reflection in extender models
Working in L[E], we examine which large cardinal properties of κ imply that all stationary subsets of cof(<κ) ∩ κ⁺ reflect.
Statistical approach to proof theory
Statistical causality and adapted distribution
In the paper D. Hoover, J. Keisler: Adapted probability distributions, Trans. Amer. Math. Soc. 286 (1984), 159–201 the notion of adapted distribution of two stochastic processes was introduced, which in a way represents the notion of equivalence of those processes. This very important property is hard to prove directly, so we continue the work of Keisler and Hoover in finding sufficient conditions for two stochastic processes to have the same adapted distribution. For this purpose we use the concept...
Statistical deducibility testing with stochastic parameters
Statistical estimation of deducibility in polyadic algebras