Henryk Michalewski

Available identifiers

zbMath Open michalewski.henrykMaRDI QIDQ194304

List of research outcomes

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
https://portal.mardi4nfdi.de/entity/Q5216326	2020-02-17	Paper
The logical strength of Büchi's decidability theorem	2019-05-24	Paper
On the strength of unambiguous tree automata	2018-09-20	Paper
Monadic Second Order Logic with Measure and Category Quantifiers	2018-04-25	Paper
How unprovable is Rabin's decidability theorem?	2018-04-23	Paper
Measure properties of regular sets of trees	2017-09-28	Paper
Measure quantifier in monadic second order logic	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	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	2015-11-04	Paper
Deciding the Borel complexity of regular tree languages	2015-02-25	Paper
On the separation question for tree languages	2015-02-05	Paper
Measure Properties of Game Tree Languages	2014-10-14	Paper
On the decidability of MSO+U on infinite trees	2014-07-01	Paper
On the separation question for tree languages	2012-08-23	Paper
On topological completeness of regular tree languages	2012-07-16	Paper
On the Borel inseparability of game tree languages	2012-04-24	Paper
Borel extensions of Baire measures in ZFC	2011-02-01	Paper
Functions Equivalent to Borel Measurable Ones	2010-06-21	Paper
Remarks on the set of \(G_\delta \)-points in Eberlein and Corson compact spaces	2009-05-28	Paper
Small Valdivia compact spaces	2006-09-13	Paper
https://portal.mardi4nfdi.de/entity/Q4828874	2004-11-26	Paper
Condensations of projective sets onto compacta	2003-07-28	Paper
An example of a topological group	2003-04-28	Paper
Homogeneity of \({\mathcal K}(Q)\)	2002-06-19	Paper
https://portal.mardi4nfdi.de/entity/Q4399188	1999-10-14	Paper
https://portal.mardi4nfdi.de/entity/Q4875415	1996-05-01	Paper

Research outcomes over time

This page was built for person: Henryk Michalewski