Jonathan Verner

According to our database, Jonathan Verner authored at least 5 papers between 2016 and 2022.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of three.

2022

Completely separable MAD families and the Modal Logic of βω.

Tomás Lávicka, Jonathan L. Verner

J. Symb. Log., 2022

2020

PyVallex: A Processing System for Valency Lexicon Data.

Jonathan Verner, Anna Vernerová

Proceedings of The 12th Language Resources and Evaluation Conference, 2020

2019

Set-theoretic blockchains.

Miha E. Habic, Joel David Hamkins, Lukas Daniel Klausner, Jonathan Verner, Kameryn J. Williams

Arch. Math. Log., 2019

2018

Towers in filters, cardinal Invariants, and Luzin Type families.

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

J. Symb. Log., 2018

2016

A Lifting Argument for the Generalized Grigorieff Forcing.

Radek Honzik, Jonathan Verner

Notre Dame J. Formal Log., 2016