| Publication | Date of Publication | Type |
|---|
Towards finding longer proofs
| 2022-05-25 | Paper |
A Characterisation of Pi^0_2 Regular Tree Languages
| 2020-05-26 | Paper |
scientific article; zbMATH DE number 7168170 (Why is no real title available?)
| 2020-02-17 | Paper |
The logical strength of Büchi's decidability theorem
| 2019-05-24 | Paper |
On the strength of unambiguous tree automata
International Journal of Foundations of Computer Science | 2018-09-20 | Paper |
Monadic Second Order Logic with Measure and Category Quantifiers
| 2018-04-25 | Paper |
How unprovable is Rabin's decidability theorem?
Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science | 2018-04-23 | Paper |
Measure properties of regular sets of trees
Information and Computation | 2017-09-28 | Paper |
Measure quantifier in monadic second order logic
Logical Foundations of Computer Science | 2017-07-21 | Paper |
The logical strength of Büchi's decidability theorem
| 2017-07-19 | Paper |
On the problem of computing the probability of regular sets of trees
| 2017-07-13 | Paper |
Unambiguous Büchi Is Weak
Developments in Language Theory | 2016-08-30 | Paper |
The logical strength of B\"uchi's decidability theorem
| 2016-08-26 | Paper |
Baire category quantifier in monadic second order logic
Automata, Languages, and Programming | 2015-11-04 | Paper |
Deciding the Borel complexity of regular tree languages
Language, Life, Limits | 2015-02-25 | Paper |
On the separation question for tree languages
Theory of Computing Systems | 2015-02-05 | Paper |
Measure Properties of Game Tree Languages
Mathematical Foundations of Computer Science 2014 | 2014-10-14 | Paper |
On the decidability of MSO+U on infinite trees
Automata, Languages, and Programming | 2014-07-01 | Paper |
On the separation question for tree languages
| 2012-08-23 | Paper |
On topological completeness of regular tree languages
Logic and Program Semantics | 2012-07-16 | Paper |
On the Borel inseparability of game tree languages
| 2012-04-24 | Paper |
Borel extensions of Baire measures in ZFC
Fundamenta Mathematicae | 2011-02-01 | Paper |
Functions Equivalent to Borel Measurable Ones
Bulletin Polish Acad. Sci. Math. | 2010-06-21 | Paper |
Remarks on the set of \(G_\delta \)-points in Eberlein and Corson compact spaces
Topology and its Applications | 2009-05-28 | Paper |
Small Valdivia compact spaces
Topology and its Applications | 2006-09-13 | Paper |
scientific article; zbMATH DE number 2119472 (Why is no real title available?)
| 2004-11-26 | Paper |
Condensations of projective sets onto compacta
Proceedings of the American Mathematical Society | 2003-07-28 | Paper |
An example of a topological group
Topology and its Applications | 2003-04-28 | Paper |
Homogeneity of \({\mathcal K}(Q)\)
Tsukuba Journal of Mathematics | 2002-06-19 | Paper |
scientific article; zbMATH DE number 1179909 (Why is no real title available?)
| 1999-10-14 | Paper |
scientific article; zbMATH DE number 872536 (Why is no real title available?)
| 1996-05-01 | Paper |
