Showing 1–27 of 27 results for author: Schrittesser, D

Maximal eventually different families for uniformly weak Ramsey ideals

Authors: Jialiang He, Jintao Luo, David Schrittesser, Hang Zhang

Abstract: We study $\mathcal I$-maximal eventually different families of functions from the set of natural numbers into itself where $\mathcal I$ is an arbitrary ideal on the set of natural numbers that includes the ideal of all finite sets $\mathrm{fin}$. We introduce the class of uniformly weak Ramsey ideals and prove that there exists a closed $\mathcal I$-maximal eventually different family if… ▽ More We study $\mathcal I$-maximal eventually different families of functions from the set of natural numbers into itself where $\mathcal I$ is an arbitrary ideal on the set of natural numbers that includes the ideal of all finite sets $\mathrm{fin}$. We introduce the class of uniformly weak Ramsey ideals and prove that there exists a closed $\mathcal I$-maximal eventually different family if $\mathcal I$ belongs to this class; this is the case for arbitrary $F_σ$ ideals and Fubini products $\mathrm{fin}^α$ with $α<ω_1$. △ Less

Submitted 25 December, 2024; originally announced December 2024.

Comments: 10 pages

MSC Class: 03E15; 03E05

Two-Person Adversarial Games are Zero-Sum: An Elaboration of a Folk Theorem

Authors: M. Ali Khan, Arthur Paul Pedersen, David Schrittesser

Abstract: The observation that every two-person adversarial game is an affine transformation of a zero-sum game is traceable to Luce & Raiffa (1957) and made explicit in Aumann (1987). Recent work of (ADP) Adler et al. (2009), and of Raimondo (2023) in increasing generality, proves what has so far remained a conjecture. We present two proofs of an even more general formulation: the first draws on multilinea… ▽ More The observation that every two-person adversarial game is an affine transformation of a zero-sum game is traceable to Luce & Raiffa (1957) and made explicit in Aumann (1987). Recent work of (ADP) Adler et al. (2009), and of Raimondo (2023) in increasing generality, proves what has so far remained a conjecture. We present two proofs of an even more general formulation: the first draws on multilinear utility theory developed by Fishburn & Roberts (1978); the second is a consequence of the ADP proof itself for a special case of a two-player game with a set of three actions. △ Less

Submitted 31 July, 2024; v1 submitted 6 March, 2024; originally announced March 2024.

MSC Class: 91A05; 91A10; 91A30

Journal ref: Economics Letters 242 (2024) 111852

Cofinitary groups and projective well-orders

Authors: Vera Fischer, Lukas Schembecker, David Schrittesser

Abstract: We introduce the notion of a tight cofinitary group, which captures forcing indestructibility of maximal cofinitary groups for a long list of partial orders, including Cohen, Sacks, Miller, Miller partition forcing and Shelah's poset for diagonalizing maximal ideal. Introducing a new robust coding technique, we establish the relative consistency of… ▽ More We introduce the notion of a tight cofinitary group, which captures forcing indestructibility of maximal cofinitary groups for a long list of partial orders, including Cohen, Sacks, Miller, Miller partition forcing and Shelah's poset for diagonalizing maximal ideal. Introducing a new robust coding technique, we establish the relative consistency of $\mathfrak{a}_g=\mathfrak{d}<\mathfrak{c}=\aleph_2$ alongside the existence of a $Δ^1_3$-wellorder of the reals and a co-analytic witness for $\mathfrak{a}_g$. △ Less

Submitted 7 May, 2025; v1 submitted 27 December, 2023; originally announced December 2023.

Comments: 21 pages, revision

de Finetti's theorem and the existence of regular conditional distributions and strong laws on exchangeable algebras

Authors: Peter Potaptchik, Daniel M. Roy, David Schrittesser

Abstract: We show the following generalizations of the de Finetti--Hewitt--Savage theorem: Given an exchangeable sequence of random elements, the sequence is conditionally i.i.d. if and only if each random element admits a regular conditional distribution given the exchangeable $σ$-algebra (equivalently, the shift invariant or the tail algebra). We use this result, which holds without any regularity or tech… ▽ More We show the following generalizations of the de Finetti--Hewitt--Savage theorem: Given an exchangeable sequence of random elements, the sequence is conditionally i.i.d. if and only if each random element admits a regular conditional distribution given the exchangeable $σ$-algebra (equivalently, the shift invariant or the tail algebra). We use this result, which holds without any regularity or technical conditions, to demonstrate that any exchangeable sequence of random elements whose common distribution is Radon is conditional iid. △ Less

Submitted 26 December, 2023; originally announced December 2023.

MSC Class: 60G09; 60G05; 28C15

Statistical minimax theorems via nonstandard analysis

Authors: Haosui Duanmu, Daniel M. Roy, David Schrittesser

Abstract: For statistical decision problems with finite parameter space, it is well-known that the upper value (minimax value) agrees with the lower value (maximin value). Only under a generalized notion of prior does such an equivalence carry over to the case infinite parameter spaces, provided nature can play a prior distribution and the statistician can play a randomized strategy. Various such extensions… ▽ More For statistical decision problems with finite parameter space, it is well-known that the upper value (minimax value) agrees with the lower value (maximin value). Only under a generalized notion of prior does such an equivalence carry over to the case infinite parameter spaces, provided nature can play a prior distribution and the statistician can play a randomized strategy. Various such extensions of this classical result have been established, but they are subject to technical conditions such as compactness of the parameter space or continuity of the risk functions. Using nonstandard analysis, we prove a minimax theorem for arbitrary statistical decision problems. Informally, we show that for every statistical decision problem, the standard upper value equals the lower value when the $\sup$ is taken over the collection of all internal priors, which may assign infinitesimal probability to (internal) events. Applying our nonstandard minimax theorem, we derive several standard minimax theorems: a minimax theorem on compact parameter space with continuous risk functions, a finitely additive minimax theorem with bounded risk functions and a minimax theorem on totally bounded metric parameter spaces with Lipschitz risk functions. △ Less

Submitted 26 December, 2022; originally announced December 2022.

MSC Class: 62C20; 62A01

Definability of maximal cofinitary groups

Authors: Severin Mejak, David Schrittesser

Abstract: We present a proof of a result, previously announced by the second author, that there is a closed (even $Π^0_1$) set generating an $F_σ$ (even $Σ^0_2$) maximal cofinitary group (short, mcg) which is isomorphic to a free group. In this isomorphism class, this is the lowest possible definitional complexity of an mcg. We present a proof of a result, previously announced by the second author, that there is a closed (even $Π^0_1$) set generating an $F_σ$ (even $Σ^0_2$) maximal cofinitary group (short, mcg) which is isomorphic to a free group. In this isomorphism class, this is the lowest possible definitional complexity of an mcg. △ Less

Submitted 10 December, 2022; originally announced December 2022.

Comments: This work is part of the first authors thesis

MSC Class: 03E05; 03E15; 20B07

Coding over Core Models

Authors: Sy David Friedman, Ralf Schindler, David Schrittesser

Abstract: Early in their careers, both Peter Koepke and Philip Welch made major contributions to two important areas of set theory, core model theory and coding, respectively. In this article we aim to survey some of the work that has been done which combines these two themes, extending Jensen's original Coding Theorem from $L$ to core models witnessing large cardinal properties. Early in their careers, both Peter Koepke and Philip Welch made major contributions to two important areas of set theory, core model theory and coding, respectively. In this article we aim to survey some of the work that has been done which combines these two themes, extending Jensen's original Coding Theorem from $L$ to core models witnessing large cardinal properties. △ Less

Submitted 18 September, 2022; originally announced September 2022.

MSC Class: 03E45; 03E55; 03E35; 03E15

Journal ref: Infinity, Computability, and Metaphysics (Geschke et al., eds.), 2014 College Publications, pp. 167--182

Lightface $Σ^1_2$-indescribable cardinals

Authors: David Schrittesser

Abstract: $Σ^1_3$-absoluteness for ccc forcing means that for any ccc forcing $P$, ${H_{ω_1}}^V \prec_{Σ_2}{H_{ω_1}}^{V^P}$. "$ω_1$ inaccessible to reals" means that for any real $r$, ${ω_1}^{L[r]}<ω_1$. To measure the exact consistency strength of "$Σ^1_3$-absoluteness for ccc forcing and $ω_1$ is inaccessible to reals", we introduce a weak version of a weakly compact cardinal, namely, a (lightface) $Σ^1_2… ▽ More $Σ^1_3$-absoluteness for ccc forcing means that for any ccc forcing $P$, ${H_{ω_1}}^V \prec_{Σ_2}{H_{ω_1}}^{V^P}$. "$ω_1$ inaccessible to reals" means that for any real $r$, ${ω_1}^{L[r]}<ω_1$. To measure the exact consistency strength of "$Σ^1_3$-absoluteness for ccc forcing and $ω_1$ is inaccessible to reals", we introduce a weak version of a weakly compact cardinal, namely, a (lightface) $Σ^1_2$-indescribable cardinal; $κ$ has this property exactly if it is inaccessible and $H_κ\prec_{Σ_2} H_{κ^+}$. △ Less

Submitted 18 September, 2022; originally announced September 2022.

MSC Class: 03E35; 03E55; 03E65

Journal ref: Proc. Amer. Math. Soc. 135 (2007), pp. 1213--1222

Admissibility is Bayes optimality with infinitesimals

Authors: Haosui Duanmu, Daniel M. Roy, David Schrittesser

Abstract: We give an exact characterization of admissibility in statistical decision problems in terms of Bayes optimality in a so-called nonstandard extension of the original decision problem, as introduced by Duanmu and Roy. Unlike the consideration of improper priors or other generalized notions of Bayes optimalitiy, the nonstandard extension is distinguished, in part, by having priors that can assign "i… ▽ More We give an exact characterization of admissibility in statistical decision problems in terms of Bayes optimality in a so-called nonstandard extension of the original decision problem, as introduced by Duanmu and Roy. Unlike the consideration of improper priors or other generalized notions of Bayes optimalitiy, the nonstandard extension is distinguished, in part, by having priors that can assign "infinitesimal" mass in a sense that can be made rigorous using results from nonstandard analysis. With these additional priors, we find that, informally speaking, a decision procedure $δ_0$ is admissible in the original statistical decision problem if and only if, in the nonstandard extension of the problem, the nonstandard extension of $δ_0$ is Bayes optimal among the extensions of standard decision procedures with respect to a nonstandard prior that assigns at least infinitesimal mass to every standard parameter value. We use the above theorem to give further characterizations of admissibility, one related to Blyth's method, one to a condition due to Stein which characterizes admissibility under some regularity assumptions; and finally, a characterization using finitely additive priors in decision problems meeting certain regularity requirements. Our results imply that Blyth's method is a sound and complete method for establishing admissibility. Buoyed by this result, we revisit the univariate two-sample common-mean problem, and show that the Graybill--Deal estimator is admissible among a certain class of unbiased decision procedures. △ Less

Submitted 28 December, 2021; originally announced December 2021.

Comments: 17 pages

MSC Class: 62C15; 62C07; 62C10; 62A01; secondary 26E35

Loeb Extension and Loeb Equivalence II

Authors: Duanmu Haosui, David Schrittesser, William Weiss

Abstract: The paper answers two open questions that were raised in by Keisler and Sun. The first question asks, if we have two Loeb equivalent spaces $(Ω, \mathcal F, μ)$ and $(Ω, \mathcal G, ν)$, does there exist an internal probability measure $P$ defined on the internal algebra $\mathcal H$ generated from $\mathcal F\cup \mathcal G$ such that $(Ω, \mathcal H, P)$ is Loeb equivalent to… ▽ More The paper answers two open questions that were raised in by Keisler and Sun. The first question asks, if we have two Loeb equivalent spaces $(Ω, \mathcal F, μ)$ and $(Ω, \mathcal G, ν)$, does there exist an internal probability measure $P$ defined on the internal algebra $\mathcal H$ generated from $\mathcal F\cup \mathcal G$ such that $(Ω, \mathcal H, P)$ is Loeb equivalent to $(Ω, \mathcal F, μ)$? The second open problem asks if the $σ$-product of two $σ$-additive probability spaces is Loeb equivalent to the product of the same two $σ$-additive probability spaces. Continuing work in a previous paper, we give a confirmative answer to the first problem when the underlying internal probability spaces are hyperfinite, a partial answer to the first problem for general internal probability spaces, and settle the second question negatively by giving a counter-example. Finally, we show that the continuity sets in the $σ$-algebra of the $σ$-product space are also in the algebra of the product space. △ Less

Submitted 27 December, 2021; originally announced December 2021.

Comments: 11 pages

MSC Class: 28E05 (primary); 03H05

Journal ref: Fundamenta Mathematicae 262 (2023), pp. 71--83

Constructing maximal cofinitary groups

Authors: David Schrittesser

Abstract: Improving and clarifying a construction of Horowitz and Shelah, we show how to construct (in $\textsf{ZF}$, that is, without using the Axiom of Choice) maximal cofinitary groups. Among the groups we construct, one is definable by a formula in second order arithmetic with only a few natural number quantifiers. Improving and clarifying a construction of Horowitz and Shelah, we show how to construct (in $\textsf{ZF}$, that is, without using the Axiom of Choice) maximal cofinitary groups. Among the groups we construct, one is definable by a formula in second order arithmetic with only a few natural number quantifiers. △ Less

Submitted 14 November, 2022; v1 submitted 24 May, 2021; originally announced May 2021.

Comments: Fixed a gap in the proof. 30 pages

MSC Class: 03E05; 03E15; 03E25; 20B07

Journal ref: Nagoya Mathematical Journal , Volume 251 , September 2023 , pp. 622 - 651

Maximal discrete sets

Authors: David Schrittesser

Abstract: We survey results regarding the definability and size of maximal discrete sets in analytic hypergraphs. Our main examples include maximal almost disjoint (or mad) families, $\mathcal I$-mad families, maximal eventually different families, and maximal cofinitary groups. We discuss the non-increasing sequence of cardinal characteristics $\mathfrak a_ξ$, for $ξ<ω_1$ as well as the notions of spectra… ▽ More We survey results regarding the definability and size of maximal discrete sets in analytic hypergraphs. Our main examples include maximal almost disjoint (or mad) families, $\mathcal I$-mad families, maximal eventually different families, and maximal cofinitary groups. We discuss the non-increasing sequence of cardinal characteristics $\mathfrak a_ξ$, for $ξ<ω_1$ as well as the notions of spectra of characteristics and optimal projective witnesses. We give an account of Zhang's forcing to add generic cofinitary permutations, and of a version of this forcing with built-in coding. △ Less

Submitted 29 December, 2020; originally announced December 2020.

Comments: 21 pages. Contains some corrections in comparison to the published version

MSC Class: 03E05; 03E15; 03E25; 03E35; 03E57; 03E60; 03E17

Journal ref: Set Theory and Infinity, RIMS Kôkyûroku No.2164, 2019

Loeb Extension and Loeb Equivalence

Authors: Robert M. Anderson, Haosui Duanmu, David Schrittesser, William Weiss

Abstract: In Keisler and Sun (2004), the authors raise several open problems on Loeb equivalences between various internal probability spaces. We provide counter-examples for the first two open problems. Moreover, we reduce the third open problem to the following question: Is the internal algebra generated by the union of two Loeb equivalent internal algebras a subset of the Loeb extension of any one of the… ▽ More In Keisler and Sun (2004), the authors raise several open problems on Loeb equivalences between various internal probability spaces. We provide counter-examples for the first two open problems. Moreover, we reduce the third open problem to the following question: Is the internal algebra generated by the union of two Loeb equivalent internal algebras a subset of the Loeb extension of any one of the internal algebra? △ Less

Submitted 5 October, 2020; originally announced October 2020.

Comments: 10 pages

MSC Class: 28E05 (primary); 03H05; 26E35

Journal ref: Proc. Amer. Math. Soc. Ser. B 8 (2021), pp. 112--120

The Ramsey property and higher dimensional mad families

Authors: David Schrittesser, Asger Törnquist

Abstract: We prove that under a principle of Ramsey regularity there are no infinite maximal almost disjoint families with respect to the transfinitely iterated Fréchet ideals. The results of the present paper were announced by the authors in the Proceedings of the National Academy of Sciences of the U.S.A. We prove that under a principle of Ramsey regularity there are no infinite maximal almost disjoint families with respect to the transfinitely iterated Fréchet ideals. The results of the present paper were announced by the authors in the Proceedings of the National Academy of Sciences of the U.S.A. △ Less

Submitted 3 December, 2024; v1 submitted 24 March, 2020; originally announced March 2020.

Comments: 30 pages. Several previously glossed over proof steps in Section 4 have been made explicit, making the proof easier to follow. The material contained in Section 5 of the previous version will appear separately

MSC Class: 03E05; 03E15; 03E60; 05D10

Definable MAD families and forcing axioms

Authors: Vera Fischer, David Schrittesser, Thilo Weinert

Abstract: We show that under the Bounded Proper Forcing Axiom and an anti-large cardinal assumption, there is a $\mathbfΠ^1_2$ MAD family. We show that under the Bounded Proper Forcing Axiom and an anti-large cardinal assumption, there is a $\mathbfΠ^1_2$ MAD family. △ Less

Submitted 30 December, 2019; originally announced December 2019.

Comments: 13 pages

MSC Class: 03E15; 03E57; 03E55

Journal ref: Annals of Pure and Applied Logic Volume 172, Issue 5, May 2021, 102909

Minimal definable graphs of definable chromatic number at least three

Authors: Raphael Carroy, Benjamin D. Miller, David Schrittesser, Zoltan Vidnyanszky

Abstract: We show that there is a Borel graph on a standard Borel space of Borel chromatic number three that admits a Borel homomorphism to every analytic graph on a standard Borel space of Borel chromatic number at least three. Moreover, we characterize the Borel graphs on standard Borel spaces of vertex-degree at most two with this property, and show that the analogous result for digraphs fails. We show that there is a Borel graph on a standard Borel space of Borel chromatic number three that admits a Borel homomorphism to every analytic graph on a standard Borel space of Borel chromatic number at least three. Moreover, we characterize the Borel graphs on standard Borel spaces of vertex-degree at most two with this property, and show that the analogous result for digraphs fails. △ Less

Submitted 23 November, 2019; v1 submitted 19 June, 2019; originally announced June 2019.

Journal ref: Forum of Mathematics, Sigma (2021), Vol. 9:e7 1--16

The Ramsey property implies no mad families

Authors: David Schrittesser, Asger Törnquist

Abstract: We show that if all collections of infinite subsets of $\N$ have the Ramsey property, then there are no infinite maximal almost disjoint (mad) families. This solves a long-standing problem going back to Mathias \cite{mathias}. The proof exploits an idea which has its natural roots in ergodic theory, topological dynamics, and invariant descriptive set theory: We use that a certain function associat… ▽ More We show that if all collections of infinite subsets of $\N$ have the Ramsey property, then there are no infinite maximal almost disjoint (mad) families. This solves a long-standing problem going back to Mathias \cite{mathias}. The proof exploits an idea which has its natural roots in ergodic theory, topological dynamics, and invariant descriptive set theory: We use that a certain function associated to a purported mad family is invariant under the equivalence relation $E_0$, and thus is constant on a "large" set. Furthermore we announce a number of additional results about mad families relative to more complicated Borel ideals. △ Less

Submitted 15 April, 2019; v1 submitted 11 April, 2019; originally announced April 2019.

Comments: 10 pages; fixed a mistake in Theorem 4.4

Report number: CPH-SYM-DNRF92 MSC Class: 03E05; 03E15; 03E25; 03E35; 03E60

Journal ref: PNAS 116 (38) 18883--18887 (2019)

Good projective witnesses

Authors: Vera Fischer, Sy David Friedman, David Schrittesser, Asger Törnquist

Abstract: We develop a new forcing notion for adjoining self-coding cofinitary permutations and use it to show that consistently, the minimal cardinality $\mathfrak a_{\text{g}}$ of a maximal cofinitary group (MCG) is strictly between $\aleph_1$ and $\mathfrak{c}$, and there is a $Π^1_2$-definable MCG of this cardinality. Here $Π^1_2$ is optimal, making this result a natural counterpart to the Borel MCG of… ▽ More We develop a new forcing notion for adjoining self-coding cofinitary permutations and use it to show that consistently, the minimal cardinality $\mathfrak a_{\text{g}}$ of a maximal cofinitary group (MCG) is strictly between $\aleph_1$ and $\mathfrak{c}$, and there is a $Π^1_2$-definable MCG of this cardinality. Here $Π^1_2$ is optimal, making this result a natural counterpart to the Borel MCG of Horowitz and Shelah. Our theorem has its analogue in the realm of maximal almost disjoint (MAD) families, extending a line of results regarding the definability properties of MAD families in models with large continuum. △ Less

Submitted 29 April, 2025; v1 submitted 11 April, 2019; originally announced April 2019.

Comments: 33 pages

Report number: CPH-SYM-DNRF92 MSC Class: 03E17; 03E35

Lebesgue's Density Theorem and definable selectors for ideals

Authors: Sandra Müller, Philipp Schlicht, David Schrittesser, Thilo Weinert

Abstract: We introduce a notion of density point and prove results analogous to Lebesgue's density theorem for various well-known ideals on Cantor space and Baire space. In fact, we isolate a class of ideals for which our results hold. In contrast to these results, we show that there is no reasonably definable selector that chooses representatives for the equivalence relation on the Borel sets of having cou… ▽ More We introduce a notion of density point and prove results analogous to Lebesgue's density theorem for various well-known ideals on Cantor space and Baire space. In fact, we isolate a class of ideals for which our results hold. In contrast to these results, we show that there is no reasonably definable selector that chooses representatives for the equivalence relation on the Borel sets of having countable symmetric difference. In other words, there is no notion of density which makes the ideal of countable sets satisfy an analogue to the density theorem. The proofs of the positive results use only elementary combinatorics of trees, while the negative results rely on forcing arguments. △ Less

Submitted 26 February, 2021; v1 submitted 15 November, 2018; originally announced November 2018.

Comments: 29 pages; improved proof of 5.5

MSC Class: 03E15; 28A05;

Journal ref: Israel Journal of Mathematics, 249 (2022), 501--551

A Sacks indestructible co-analytic maximal eventually different family

Authors: Vera Fischer, David Schrittesser

Abstract: In the constructible universe, we construct a co-analytic maximal family of pairwise eventually different functions from $\mathbb{N}$ to $\mathbb{N}$ which remains maximal after adding arbitrarily many Sacks reals (by a countably supported iteration or product). In the constructible universe, we construct a co-analytic maximal family of pairwise eventually different functions from $\mathbb{N}$ to $\mathbb{N}$ which remains maximal after adding arbitrarily many Sacks reals (by a countably supported iteration or product). △ Less

Submitted 13 November, 2018; originally announced November 2018.

Comments: 20 pages

MSC Class: 03E17; 03E35

Journal ref: Fundamenta Mathematicae 252 (2021), 179--201

Maximal almost disjoint families, determinacy, and forcing

Authors: Karen Bakke Haga, David Schrittesser, Asger Törnquist

Abstract: We study the notion of $\mathcal J$-MAD families where $\mathcal J$ is a Borel ideal on $ω$. We show that if $\mathcal J$ is an arbitrary $F_σ$ ideal, or is any finite or countably iterated Fubini product of $F_σ$ ideals, then there are no analytic infinite $\mathcal J$-MAD families, and assuming Projective Determinacy there are no infinite projective $\mathcal J$-MAD families; and under the full… ▽ More We study the notion of $\mathcal J$-MAD families where $\mathcal J$ is a Borel ideal on $ω$. We show that if $\mathcal J$ is an arbitrary $F_σ$ ideal, or is any finite or countably iterated Fubini product of $F_σ$ ideals, then there are no analytic infinite $\mathcal J$-MAD families, and assuming Projective Determinacy there are no infinite projective $\mathcal J$-MAD families; and under the full Axiom of Determinacy + $V=\mathbf{L}(\mathbb{R})$ there are no infinite $\mathcal J$-mad families. These results apply in particular when $\mathcal J$ is the ideal of finite sets $\mathrm{Fin}$, which corresponds to the classical notion of MAD families. The proofs combine ideas from invariant descriptive set theory and forcing. △ Less

Submitted 6 October, 2018; originally announced October 2018.

Comments: 40 pages

MSC Class: 03E05; 03E15; 03E45; 03E60

Journal ref: Journal of Mathematical Logic Vol. 22, No. 01, 2150026 (2022)

Compactness of maximal eventually different families

Authors: David Schrittesser

Abstract: We show that there is an effectively closed maximal eventually different family of functions in spaces of the form $\prod_n F(n)$ for $F\colon \mathbb{N} \to \mathbb{N}\cup\{\mathbb{N}\}$ and give an exact criterion for when there exists an effectively compact such family. We show that there is an effectively closed maximal eventually different family of functions in spaces of the form $\prod_n F(n)$ for $F\colon \mathbb{N} \to \mathbb{N}\cup\{\mathbb{N}\}$ and give an exact criterion for when there exists an effectively compact such family. △ Less

Submitted 16 August, 2017; v1 submitted 16 April, 2017; originally announced April 2017.

Comments: 9 pages. Some small errors corrected

Journal ref: Bull. London Math. Soc. 50, pp. 340--348 (2018)

On Horowitz and Shelah's Borel maximal eventually different family

Authors: David Schrittesser

Abstract: We show there is a closed (in fact effectively closed, i.e., $Π^0_1$) eventually different family (working in ZF or less). We show there is a closed (in fact effectively closed, i.e., $Π^0_1$) eventually different family (working in ZF or less). △ Less

Submitted 16 August, 2017; v1 submitted 6 March, 2017; originally announced March 2017.

Comments: 7 pages. Some small errors corrected

MSC Class: 03E15; 03E25; 03E05

Journal ref: RIMS Kyôrôku No. 2042, pp. 99--106 (2017)

Definable discrete sets with large continuum

Authors: David Schrittesser

Abstract: Let $\mathcal R$ be a $Σ^1_1$ binary relation and call a set $\mathcal R$-discrete iff no two distinct of its elements are $\mathcal R$-related. We show that in the extension of $\mathbf{L}$ by iterated Sacks forcing, there is a $Δ^1_2$ maximal $\mathcal R$-discrete set, and thus the existence of such sets is compatible with the negation of the continuum hypothesis. As an application we find a… ▽ More Let $\mathcal R$ be a $Σ^1_1$ binary relation and call a set $\mathcal R$-discrete iff no two distinct of its elements are $\mathcal R$-related. We show that in the extension of $\mathbf{L}$ by iterated Sacks forcing, there is a $Δ^1_2$ maximal $\mathcal R$-discrete set, and thus the existence of such sets is compatible with the negation of the continuum hypothesis. As an application we find a $Π^1_1$ maximal orthogonal family of Borel probability measures in said extension. The basis of this is a new Ramsey theoretic result. △ Less

Submitted 11 October, 2016; originally announced October 2016.

MSC Class: 03E15; 03E35

A co-analytic Cohen indestructible maximal cofinitary group

Authors: Vera Fischer, David Schrittesser, Asger Törnquist

Abstract: Assuming that every set is constructible, we find a $Π^1_1$ maximal cofinitary group of permutations of $\mathbb N$ which is indestructible by Cohen forcing. Thus we show that the existence of such groups is consistent with arbitrarily large continuum. Our method also gives a new proof, inspired by the forcing method, of Kastermans' result that there exists a $Π^1_1$ maximal cofinitary group in… ▽ More Assuming that every set is constructible, we find a $Π^1_1$ maximal cofinitary group of permutations of $\mathbb N$ which is indestructible by Cohen forcing. Thus we show that the existence of such groups is consistent with arbitrarily large continuum. Our method also gives a new proof, inspired by the forcing method, of Kastermans' result that there exists a $Π^1_1$ maximal cofinitary group in $L$. △ Less

Submitted 7 November, 2022; v1 submitted 7 March, 2016; originally announced March 2016.

Comments: Minor corrections

MSC Class: 03E15; 03E35

Journal ref: The Journal of Symbolic Logic, 82(2), pp. 629--647 (2017)

Definable maximal discrete sets in forcing extensions

Authors: David Schrittesser, Asger Törnquist

Abstract: Let $\mathcal R$ be a $Σ^1_1$ binary relation, and recall that a set $A$ is $\mathcal R$-discrete if no two elements of $A$ are related by $\mathcal R$. We show that in the Sacks and Miller forcing extensions of $L$ there is a $Δ^1_2$ maximal $\mathcal{R}$-discrete set. We use this to answer in the negative the main question posed in \cite{Fischer2010} by showing that in the Sacks and Miller exten… ▽ More Let $\mathcal R$ be a $Σ^1_1$ binary relation, and recall that a set $A$ is $\mathcal R$-discrete if no two elements of $A$ are related by $\mathcal R$. We show that in the Sacks and Miller forcing extensions of $L$ there is a $Δ^1_2$ maximal $\mathcal{R}$-discrete set. We use this to answer in the negative the main question posed in \cite{Fischer2010} by showing that in the Sacks and Miller extensions there is a $Π^1_1$ maximal orthogonal family ("mof") of Borel probability measures on Cantor space. By contrast, we show that if there is a Mathias real over $L$ then there are no $Σ^1_2$ mofs. △ Less

Submitted 28 September, 2022; v1 submitted 29 October, 2015; originally announced October 2015.

Comments: 17 pages; small corrections

MSC Class: 03E15; 03E35

Journal ref: Math. Res. Lett. 25(5), pp. 1591--1612 (2018)

Projective measure without projective Baire

Authors: Sy Friedman, David Schrittesser

Abstract: We prove that it is consistent (relative to a Mahlo cardinal) that all projective sets of reals are Lebesgue measurable, but there is a $Δ^1_3$ set without the Baire property. The complexity of the set which provides a counterexample to the Baire property is optimal. We prove that it is consistent (relative to a Mahlo cardinal) that all projective sets of reals are Lebesgue measurable, but there is a $Δ^1_3$ set without the Baire property. The complexity of the set which provides a counterexample to the Baire property is optimal. △ Less

Submitted 26 September, 2022; v1 submitted 27 January, 2014; originally announced January 2014.

MSC Class: 03E15; 03E35

Journal ref: Memoirs of the American Mathematical Society 267, no. 1298, v+150 pp (2020)