In this expository paper aimed at a general mathematical audience, we discuss how to
combine certain classic theorems of set-theoretic inner model theory and effective …

We study some connections between definability in generalized descriptive set theory and
large cardinals, particularly measurable cardinals and limits thereof, working in ZFC. We …

Borel measurability of separately continuous functions, II Page 1 Topology and its Applications
134 (2003) 159–188 www.elsevier.com/locate/topol Borel measurability of separately continuous …

We study the structural regularities and irregularities of the reals in inner models of set
theory. Starting with $ L $, G\"{o} del's constructible universe, our study of the reals is thus …

Lebesgue proved that every separately continuous function f: R× R→ R is a pointwise limit of
continuous functions. W. Rudin extended this by showing that if X is a metric space, then for …

Dag Normann and the author have recently initiated the study of the logical and
computational properties of the uncountability of $\mathbb {R} $ formalised as the statement …

In this dissertation we study the consistency strength of the theory ZFC & ($\exists\kappa $
strong limit)($\forall\mu<\kappa $)($\kappa\{\longrightarrow\atop {\bf OD}}\(\omega)\sbsp {{\bf …

We give a short proof that if a function, defined on a nonempty complete metric space,
without isolated points, is continuous on a countable dense set then it is continuous on an …

It is possible to control to a large extent, via semiproper forcing, the parameters (β0, β1)
measuring the guessing density of the members of any given antichain of stationary subsets …

We improve the previous work of Yorioka and the first author about the combinatorics of the
ideal SN of strong measure zero sets of reals. We refine the notions of dominating systems …