The following pages link to Henryk Michalewski (Q194304):
Displayed 31 items.
- Remarks on the set of \(G_\delta \)-points in Eberlein and Corson compact spaces (Q1019152) (← links)
- An example of a topological group (Q1868859) (← links)
- Towards finding longer proofs (Q2142073) (← links)
- On the separation question for tree languages (Q2254515) (← links)
- Measure properties of regular sets of trees (Q2407093) (← links)
- Small Valdivia compact spaces (Q2502977) (← links)
- Unambiguous Büchi Is Weak (Q2817398) (← links)
- On Topological Completeness of Regular Tree Languages (Q2897950) (← links)
- (Q2904779) (← links)
- Measure Properties of Game Tree Languages (Q2922025) (← links)
- Borel extensions of Baire measures in ZFC (Q3071073) (← links)
- Baire Category Quantifier in Monadic Second Order Logic (Q3449489) (← links)
- Functions Equivalent to Borel Measurable Ones (Q3569574) (← links)
- (Q4399188) (← links)
- Condensations of projective sets onto compacta (Q4417265) (← links)
- How unprovable is Rabin's decidability theorem? (Q4635942) (← links)
- Monadic Second Order Logic with Measure and Category Quantifiers (Q4637695) (← links)
- On the Strength of Unambiguous Tree Automata (Q4683238) (← links)
- (Q4828874) (← links)
- (Q4875415) (← links)
- A Characterisation of Pi^0_2 Regular Tree Languages (Q5111272) (← links)
- On the Decidability of MSO+U on Infinite Trees (Q5167826) (← links)
- Deciding the Borel Complexity of Regular Tree Languages (Q5175888) (← links)
- (Q5216326) (← links)
- (Q5275391) (← links)
- The Logical Strength of Büchi's Decidability Theorem (Q5278425) (← links)
- Measure Quantifier in Monadic Second Order Logic (Q5283434) (← links)
- (Q5377469) (← links)
- On the Borel Inseparability of Game Tree Languages (Q5390008) (← links)
- Homogeneity of \({\mathcal K}(Q)\) (Q5939527) (← links)
- The logical strength of B\"uchi's decidability theorem (Q6276899) (← links)