J. Verner

activity

20122026

most citedSet-Theoretic Blockchains

9 citations · 10 across the 10 of their papers we have counts for

collaborators

11 papers

math.LO2026

An easy proof that there may be no P-points

David Chodounský, Osvaldo Guzmán, Jonathan Verner

We provide an easy proof that there are no P-points in the models obtained by adding many Silver reals with countable support to a model of CH.

math.LO2022

Ramsey partitions of metric spaces

Saharon Shelah, Jonathan L. Verner

We investigate the existence of metric spaces which, for any coloring with a fixed number of colors, contain monochromatic isomorphic copies of a fixed starting space K. In the mai…

math.LO2022

Lower bounds of sets of P-points

Borisa Kuzeljevic, Dilip Raghavan, Jonathan L. Verner

We show that $MA_{κ}$ implies that each collection of $P_{c}$ -points of size at most $κ$ which has a $P_{c}$ -point as an $R K$ upper bound also has a ${…

math.LO2018★ 9 cited

Set-Theoretic Blockchains

Miha E. Habič, Joel David Hamkins, Lukas Daniel Klausner +2

Given a countable model of set theory, we study the structure of its generic multiverse, the collection of its forcing extensions and ground models, ordered by inclusion. Mostowski…

math.LO2018

Chains of P-points

Dilip Raghavan, Jonathan L. Verner

It is proved that the Continuum Hypothesis implies that any sequence of rapid P-points of length $< c^{+}$ which is increasing with respect to the Rudin-Keisler ordering…

math.LO2017

Completely separably MAD families and the modal logic of $β ω$

Tomáš Lávička, Jonathan L. Verner

We show in ZFC that the existence of completely separable maximal almost disjoint families of subsets of $ω$ implies that the modal logic S4.1.2 is complete with respect to the Čec…

math.GN2016

Lonely points revisited

Jonathan L. Verner

In our previous paper, Lonely points, we introduced the notion of a lonely point, due to P. Simon. A point $p \in X$ is lonely if it is a limit point of a countable dense-in-itself…

math.GN2016★ 1 cited

Lonely points in $ω^{*}$

Jonathan L. Verner

Inspired by the work of J. van Mill we define a new topological type --- lonely points. We show that the question of whether these points exist in $ω^{*}$ is equivalent to finding a…

math.LO2016

Towers in filters, cardinal invariants, and Luzin type families

Jörg Brendle, Barnabás Farkas, Jonathan Verner

We investigate which filters on $ω$ can contain towers, that is, a modulo finite descending sequence without any pseudointersection (in $[ω]^{ω}$ ). We prove the following results: -…

math.LO2015

$G_{δ}$ semifilters and $ω^{*}$

Will Brian, Jonathan Verner

The ultrafilters on the partial order $([ω]^{ω}, \subseteq^{*})$ are the free ultrafilters on $ω$ , which constitute the space $ω^{*}$ , the Stone-Cech remainder of $ω$ . If $U$ is an uppers…

math.GN2012

Filter convergence in $β ω$

Jonathan L. Verner

We give a necessary combinatorial condition on a filter F to admit an injective F-convergent sequence in $β ω$ . We also show that no analytic filter F admits an injective F-converge…

An easy proof that there may be no P-points

Ramsey partitions of metric spaces

Lower bounds of sets of P-points

Set-Theoretic Blockchains

Chains of P-points

Completely separably MAD families and the modal logic of βω

Lonely points revisited

Lonely points in ω∗

Towers in filters, cardinal invariants, and Luzin type families

Gδ​ semifilters and ω∗

Filter convergence in βω

Completely separably MAD families and the modal logic of $β ω$

Lonely points in $ω^{*}$

$G_{δ}$ semifilters and $ω^{*}$

Filter convergence in $β ω$