ℹ️
🇬🇧
Search
Search for people relevant for "ramsey classes"
ramsey classes
Person
Class
Person
Publication
Programmes
Mgr. Jonathan Verner Ph.D.
Academic staff at Faculty of Arts
9 classes
25 publications
Classes
class
Introduction to Computer Science
+1
ALG110006 |
Faculty of Arts
class
Introduction to Computer Science II
ALG110029 |
Faculty of Arts
class
Model Theory
ALG500009 |
Faculty of Arts
class
Programming in Python
ALGV00025 |
Faculty of Arts
class
Introduction to general topology
ALGV00048 |
Faculty of Arts
class
Advanced topics in computer programming
ALGV00106 |
Faculty of Arts
class
Introduction to programming for non-logicians
ALGV00107 |
Faculty of Arts
class
Descriptive Set Theory
ALGV00119 |
Faculty of Arts
Publications
publication
42nd Winter School in Abstract Analysis 2014
Publication without faculty affiliation
publication
Completely separably MAD families and the modal logic of $\beta\omega$
2022 |
Faculty of Arts
publication
PyVallex: A Processing System for Valency Lexicon Data
2020 |
Faculty of Mathematics and Physics
publication
Set-Theoretic Blockchains
2019 |
Faculty of Mathematics and Physics, Faculty of Arts
publication
Non-systemic valency behavior of Czech deverbal nouns based on the NomVallex lexicon
+1
2019 |
Faculty of Mathematics and Physics, Faculty of Arts
publication
Chains of P-points
2019 |
Faculty of Arts
publication
Towers in Filters, Cardinal Invariants and Luzin Type Families
2018 |
Faculty of Arts
publication
A lifting argument for generalized Gregorieff forcing
2016 |
Faculty of Arts
publication
Gδ AND CO-MEAGER SEMIFILTERS
2016 |
Faculty of Arts
publication
Toposym Book of Abstracts
2016 |
Faculty of Arts
Load more publications (15)
Loading network view...