Well-Quasi Orders and Hierarchy Theory (Q3295154): Difference between revisions

@@ Property / author @@
-Victor L. Selivanov
@@ Property / author: Victor L. Selivanov / rank @@
-Normal rank
@@ Property / author @@
+Victor L. Selivanov
@@ Property / author: Victor L. Selivanov / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2892315907
@@ Property / OpenAlex ID: W2892315907 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.02941
@@ Property / arXiv ID: 1809.02941 / rank @@
+Normal rank
@@ Property / cites work @@
+Using forward reachability analysis for verification of lossy channel systems
+Normal rank
@@ Property / cites work @@
+Separation principles in the hierarchies of classical and effective descriptive set theory
+Normal rank
@@ Property / cites work @@
+Q5519133
@@ Property / cites work: Q5519133 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5343333
@@ Property / cites work: Q5343333 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5596752
@@ Property / cites work: Q5596752 / rank @@
+Normal rank
@@ Property / cites work @@
+Computable structures and the hyperarithmetical hierarchy
+Normal rank
@@ Property / cites work @@
+Linear algebraic groups and countable Borel equivalence relations
+Normal rank
@@ Property / cites work @@
+More on Wadge determinacy
@@ Property / cites work: More on Wadge determinacy / rank @@
+Normal rank
@@ Property / cites work @@
+Borel–Wadge degrees
@@ Property / cites work: Borel–Wadge degrees / rank @@
+Normal rank
@@ Property / cites work @@
+A characterization of jump operators
@@ Property / cites work: A characterization of jump operators / rank @@
+Normal rank
@@ Property / cites work @@
+Solving Sequential Conditions by Finite-State Strategies
+Normal rank
@@ Property / cites work @@
+Weihrauch Degrees, Omniscience Principles and Weak Computability
+Normal rank
@@ Property / cites work @@
+Effective Choice and Boundedness Principles in Computable Analysis
+Normal rank
@@ Property / cites work @@
+A quasi-order on continuous functions
@@ Property / cites work: A quasi-order on continuous functions / rank @@
+Normal rank
@@ Property / cites work @@
+Polynomial-time versus recursive models
@@ Property / cites work: Polynomial-time versus recursive models / rank @@
+Normal rank
@@ Property / cites work @@
+Quasi-Polish spaces
@@ Property / cites work: Quasi-Polish spaces / rank @@
+Normal rank
@@ Property / cites work @@
+Q4393480
@@ Property / cites work: Q4393480 / rank @@
+Normal rank
@@ Property / cites work @@
+Fragments of first-order logic over infinite words
+Normal rank
@@ Property / cites work @@
+Q3874266
@@ Property / cites work: Q3874266 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4530231
@@ Property / cites work: Q4530231 / rank @@
+Normal rank
@@ Property / cites work @@
+Wadge hierarchy and Veblen hierarchy Part I: Borel sets of finite rank
+Normal rank
@@ Property / cites work @@
+Q4231020
@@ Property / cites work: Q4231020 / rank @@
+Normal rank
@@ Property / cites work @@
+On regularity of context-free languages
@@ Property / cites work: On regularity of context-free languages / rank @@
+Normal rank
@@ Property / cites work @@
+Q3994935
@@ Property / cites work: Q3994935 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3733777
@@ Property / cites work: Q3733777 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3789551
@@ Property / cites work: Q3789551 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5619077
@@ Property / cites work: Q5619077 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5596785
@@ Property / cites work: Q5596785 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4531372
@@ Property / cites work: Q4531372 / rank @@
+Normal rank
@@ Property / cites work @@
+Efficient algorithms for membership in Boolean hierarchies of regular languages
+Normal rank
@@ Property / cites work @@
+Q4982348
@@ Property / cites work: Q4982348 / rank @@
+Normal rank
@@ Property / cites work @@
+Ordering by Divisibility in Abstract Algebras
@@ Property / cites work: Ordering by Divisibility in Abstract Algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Slicing the Truth
@@ Property / cites work: Slicing the Truth / rank @@
+Normal rank
@@ Property / cites work @@
+Q4003410
@@ Property / cites work: Q4003410 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5794159
@@ Property / cites work: Q5794159 / rank @@
+Normal rank
@@ Property / cites work @@
+Forcing absoluteness and regularity properties
@@ Property / cites work: Forcing absoluteness and regularity properties / rank @@
+Normal rank
@@ Property / cites work @@
+Borel subsets of the real line and continuous reducibility
+Normal rank
@@ Property / cites work @@
+Definability in substructure orderings. IV: Finite lattices
+Normal rank
@@ Property / cites work @@
+Definability in substructure orderings. I: Finite semilattices
+Normal rank
@@ Property / cites work @@
+Definability in substructure orderings. III: Finite distributive lattices
+Normal rank
@@ Property / cites work @@
+Definability in substructure orderings. II: Finite ordered sets
+Normal rank
@@ Property / cites work @@
+Definability in the embeddability ordering of finite directed graphs
+Normal rank
@@ Property / cites work @@
+Well-Quasi-Ordering, The Tree Theorem, and Vazsonyi's Conjecture
+Normal rank
@@ Property / cites work @@
+On the state complexity of closures and interiors of regular languages with subwords and superwords
+Normal rank
@@ Property / cites work @@
+Q5278312
@@ Property / cites work: Q5278312 / rank @@
+Normal rank
@@ Property / cites work @@
+Generalized Post embedding problems
@@ Property / cites work: Generalized Post embedding problems / rank @@
+Normal rank
@@ Property / cites work @@
+The Height of Piecewise-Testable Languages with Applications in Logical Complexity
+Normal rank
@@ Property / cites work @@
+Logical Approaches to Computational Barriers
@@ Property / cites work: Logical Approaches to Computational Barriers / rank @@
+Normal rank
@@ Property / cites work @@
+Definability in the Homomorphic Quasiorder of Finite Labeled Forests
+Normal rank
@@ Property / cites work @@
+Undecidability in the Homomorphic Quasiorder of Finite Labelled Forests
+Normal rank
@@ Property / cites work @@
+A Gandy Theorem for Abstract Structures and Applications to First-Order Definability
+Normal rank
@@ Property / cites work @@
+Definability in the Infix Order on Words
@@ Property / cites work: Definability in the Infix Order on Words / rank @@
+Normal rank
@@ Property / cites work @@
+Definability in the Subword Order
@@ Property / cites work: Definability in the Subword Order / rank @@
+Normal rank
@@ Property / cites work @@
+Definability in the \(h\)-quasiorder of labeled forests
+Normal rank
@@ Property / cites work @@
+Theories of orders on the set of words
@@ Property / cites work: Theories of orders on the set of words / rank @@
+Normal rank
@@ Property / cites work @@
+Q5549798
@@ Property / cites work: Q5549798 / rank @@
+Normal rank
@@ Property / cites work @@
+The uniform Martin’s conjecture for many-one degrees
+Normal rank
@@ Property / cites work @@
+On the structure of the Wadge degrees of bqo-valued Borel functions
+Normal rank
@@ Property / cites work @@
+Q4323294
@@ Property / cites work: Q4323294 / rank @@
+Normal rank
@@ Property / cites work @@
+On Fraissé's order type conjecture
@@ Property / cites work: On Fraissé's order type conjecture / rank @@
+Normal rank
@@ Property / cites work @@
+Q3318768
@@ Property / cites work: Q3318768 / rank @@
+Normal rank
@@ Property / cites work @@
+Martin's conjecture, arithmetic equivalence, and countable Borel equivalence relations
+Normal rank
@@ Property / cites work @@
+Computable linearizations of well-partial-orderings
+Normal rank
@@ Property / cites work @@
+Borel-amenable reducibilities for sets of reals
@@ Property / cites work: Borel-amenable reducibilities for sets of reals / rank @@
+Normal rank
@@ Property / cites work @@
+Wadge-like reducibilities on arbitrary quasi-Polish spaces
+Normal rank
@@ Property / cites work @@
+Q5520569
@@ Property / cites work: Q5520569 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5537629
@@ Property / cites work: Q5537629 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4513973
@@ Property / cites work: Q4513973 / rank @@
+Normal rank
@@ Property / cites work @@
+Well-quasi-orders and regular \(\omega\)-languages
+Normal rank
@@ Property / cites work @@
+A Wadge hierarchy for second countable spaces
@@ Property / cites work: A Wadge hierarchy for second countable spaces / rank @@
+Normal rank
@@ Property / cites work @@
+Q5317419
@@ Property / cites work: Q5317419 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5573961
@@ Property / cites work: Q5573961 / rank @@
+Normal rank
@@ Property / cites work @@
+Graph minors. XX: Wagner's conjecture
@@ Property / cites work: Graph minors. XX: Wagner's conjecture / rank @@
+Normal rank
@@ Property / cites work @@
+Definability in First Order Theories of Graph Orderings
+Normal rank
@@ Property / cites work @@
+Q4040892
@@ Property / cites work: Q4040892 / rank @@
+Normal rank
@@ Property / cites work @@
+Structure of degrees of generalized index sets
@@ Property / cites work: Structure of degrees of generalized index sets / rank @@
+Normal rank
@@ Property / cites work @@
+Hierarchies of hyperarithmetical sets and functions
+Normal rank
@@ Property / cites work @@
+Algorithmic complexity of algebraic systems
@@ Property / cites work: Algorithmic complexity of algebraic systems / rank @@
+Normal rank
@@ Property / cites work @@
+Fine hierarchies and Boolean terms
@@ Property / cites work: Fine hierarchies and Boolean terms / rank @@
+Normal rank
@@ Property / cites work @@
+Fine hierarchy of regular \(\omega\)-languages
@@ Property / cites work: Fine hierarchy of regular \(\omega\)-languages / rank @@
+Normal rank
@@ Property / cites work @@
+Q2762531
@@ Property / cites work: Q2762531 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5476786
@@ Property / cites work: Q5476786 / rank @@
+Normal rank
@@ Property / cites work @@
+Towards a descriptive set theory for domain-like structures
+Normal rank
@@ Property / cites work @@
+The quotient algebra of labeled forests modulo h-equivalence
+Normal rank
@@ Property / cites work @@
+Hierarchies of Δ<sup>0</sup><sub>2</sub>‐measurable <i>k</i> ‐partitions
+Normal rank
@@ Property / cites work @@
+Fine hierarchies and m-reducibilities in theoretical computer science
+Normal rank
@@ Property / cites work @@
+Hierarchies and reducibilities on regular languages related to modulo counting
+Normal rank
@@ Property / cites work @@
+A Fine Hierarchy of ω-Regular k-Partitions
@@ Property / cites work: A Fine Hierarchy of ω-Regular k-Partitions / rank @@
+Normal rank
@@ Property / cites work @@
+Fine hierarchies via Priestley duality
@@ Property / cites work: Fine hierarchies via Priestley duality / rank @@
+Normal rank
@@ Property / cites work @@
+Total Representations
@@ Property / cites work: Total Representations / rank @@
+Normal rank
@@ Property / cites work @@
+Towards a descriptive theory of cb<sub>0</sub>-spaces
+Normal rank
@@ Property / cites work @@
+Extending Wadge theory to \(k\)-partitions
@@ Property / cites work: Extending Wadge theory to \(k\)-partitions / rank @@
+Normal rank
@@ Property / cites work @@
+Continuous reducibility and dimension of metric spaces
+Normal rank
@@ Property / cites work @@
+Q3801541
@@ Property / cites work: Q3801541 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3832563
@@ Property / cites work: Q3832563 / rank @@
+Normal rank
@@ Property / cites work @@
+Preservation of the Borel class under countable-compact-covering mappings
+Normal rank
@@ Property / cites work @@
+Characterizations of some classes of regular events
+Normal rank
@@ Property / cites work @@
+Q4302435
@@ Property / cites work: Q4302435 / rank @@
+Normal rank
@@ Property / cites work @@
+A classification of jump operators
@@ Property / cites work: A classification of jump operators / rank @@
+Normal rank
@@ Property / cites work @@
+A reducibility for the dot-depth hierarchy
@@ Property / cites work: A reducibility for the dot-depth hierarchy / rank @@
+Normal rank
@@ Property / cites work @@
+Q4385530
@@ Property / cites work: Q4385530 / rank @@
+Normal rank
@@ Property / cites work @@
+Undecidable theories
@@ Property / cites work: Undecidable theories / rank @@
+Normal rank
@@ Property / cites work @@
+Q4175553
@@ Property / cites work: Q4175553 / rank @@
+Normal rank
@@ Property / cites work @@
+On ω-regular sets
@@ Property / cites work: On ω-regular sets / rank @@
+Normal rank
@@ Property / cites work @@
+Q4485693
@@ Property / cites work: Q4485693 / rank @@
+Normal rank
@@ Property / cites work @@
+Definability in the substructure ordering of simple graphs
+Normal rank