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
https://portal.mardi4nfdi.de/entity/Q5377469	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
https://portal.mardi4nfdi.de/entity/Q5275391	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