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
https://portal.mardi4nfdi.de/entity/Q5111272	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
https://portal.mardi4nfdi.de/entity/Q5278425	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
https://portal.mardi4nfdi.de/entity/Q2904779	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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Henryk Michalewski