L_ , L__1 , and the Wadge hierarchy

DOI10.1007/978-3-031-95908-0_30MaRDI QIDQ6897633zbMATH OpenFDO

Authors Victor Selivanov

Publication date 19 November 2025

Full work available at URL https://doi.org/10.1007/978-3-031-95908-0_30

zbMATH Keywords

countable modelfine hierarchyfirst-order logicinfinitary logicWadge hierarchy

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Cites work

• A Q-WADGE HIERARCHY IN QUASI-POLISH SPACES
• Computable Structure Theory
• Fine hierarchies and Boolean terms
• Fine hierarchies and m-reducibilities in theoretical computer science
• Fine hierarchies via Priestley duality
• Hierarchies and reducibilities on regular languages related to modulo counting
• scientific article; zbMATH DE number 6318 (Why is no real title available?)
• scientific article; zbMATH DE number 3248792 (Why is no real title available?)
• scientific article; zbMATH DE number 3316891 (Why is no real title available?)
• scientific article; zbMATH DE number 3329887 (Why is no real title available?)
• Invariant descriptive set theory
• Invariant sets in topology and logic
• Logic vs topology on regular -languages
• Model Theory
• Model theory for infinitary logic. Logic with countable conjunctions and finite quantifiers
• Model theory.
• Non-collapse of the effective Wadge hierarchy
• On the structure of the Wadge degrees of bqo-valued Borel functions
• Refined hierarchy of formulas
• The Invariant ∏ 0 α Separation Principle

This page was built for publication: \(L_{\omega \omega }, L_{\omega_1\omega }\), and the Wadge hierarchy

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6897633)