期刊： JOURNAL OF SYMBOLIC LOGIC, 2020; 85 (3)
We prove the Decomposability Conjecture for functions of Baire class 2 from a Polish space to a separable metrizable space. This partially answers an ......
期刊： JOURNAL OF SYMBOLIC LOGIC, 2020; 85 (1)
We prove that the continuous function (Omega) over cap : 2 omega -> R that is defined via X bar right arrow Sigma(n) 2(-K(X up arrow n)) for all X ......
期刊： JOURNAL OF SYMBOLIC LOGIC, 2020; 85 (1)
For a set x, let S(x) be the set of all permutations of x. We prove by the method of permutation models that the following statements are consistent w......
期刊： JOURNAL OF SYMBOLIC LOGIC, 2020; 85 (1)
For a set x, let S(x) be the set of all permutations of x. We prove in ZF (without the axiom of choice) several results concerning this notion, among ......
期刊： JOURNAL OF SYMBOLIC LOGIC, 2019; 84 (1)
We prove the following two basis theorems for Sigma(1)(2)-sets of reals: (1) Every nonthin Sigma(1)(2)-set has a perfect Delta(1)(2)-subset if and onl......
期刊： JOURNAL OF SYMBOLIC LOGIC, 2019; 84 (2)
Let an oracle be called low for prefix-free complexity on a set in case access to the oracle improves the prefix-free complexities of the members of t......
期刊： JOURNAL OF SYMBOLIC LOGIC, 2019; 84 (3)
In this article we explore some properties of H-structures which are introduced in [2]. We describe a construction of H-structures based on one-dimens......
期刊： JOURNAL OF SYMBOLIC LOGIC, 2018; 83 (4)
A set G subset of omega is n-generic for a positive integer n if and only if every Sigma(0)(n) formula of G is decided by a finite initial segment of ......
期刊： JOURNAL OF SYMBOLIC LOGIC, 2017; 82 (4)
In this article, a notion of Schauder equivalence relation R-N/L is introduced, where L is a linear subspace of R-N and the unit vectors form a Schaud......
