Buchumschlag

On the Descriptive Complexity of Groups without Abelian Normal Subgroups

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Grochow, Joshua A., Levet, Michael
Format:	Preprint
Veröffentlicht:	2022
Schlagworte:	Logic in Computer Science Computational Complexity Group Theory Logic 03C13, 03C80, 68Q19, 20A15, 20D99 F.4.1; F.1.3; F.2.2; G.2.2
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

On the Complexity of Identifying Groups without Abelian Normal Subgroups: Parallel, First Order, and GI-Hardness
von: Grochow, Joshua A., et al.
Veröffentlicht: (2025)

Proving Unsatisfiability with Hitting Formulas
von: Filmus, Yuval, et al.
Veröffentlicht: (2023)

Hypersequent Calculi Have Ackermannian Complexity
von: Balasubramanian, A. R., et al.
Veröffentlicht: (2026)

Homomorphism Indistinguishability and Game Comonads for Restricted Conjunction and Requantification
von: Schindling, Georg
Veröffentlicht: (2025)

Deducibility in the full Lambek calculus with weakening is HAck-complete
von: Greati, Vitor, et al.
Veröffentlicht: (2024)

Complexities of Well-Quasi-Ordered Substructural Logics
von: Galatos, Nikolaos, et al.
Veröffentlicht: (2025)

On the Satisfaction Probabilities of $k$-CNF Formulas
von: Tantau, Till
Veröffentlicht: (2022)

On the Parallel Complexity of Group Isomorphism via Weisfeiler-Leman
von: Grochow, Joshua A., et al.
Veröffentlicht: (2021)

Complexity Results in Team Semantics: Nonemptiness Is Not So Complex
von: Anttila, Aleksi, et al.
Veröffentlicht: (2025)

Functional Lower Bounds in Algebraic Proofs: Symmetry, Lifting, and Barriers
von: Hakoniemi, Tuomas, et al.
Veröffentlicht: (2024)

A Complexity Dichotomy in Spatial Reasoning via Ramsey Theory
von: Bodirsky, Manuel, et al.
Veröffentlicht: (2020)

Three Fixed-Dimension Satisfiability Semantics for Quantum Logic: Implications and an Explicit Separator
von: Higuchi, Joaquim Reizi
Veröffentlicht: (2026)

Exponential Resolution Lower Bounds for Weak Pigeonhole Principle and Perfect Matching Formulas over Sparse Graphs
von: de Rezende, Susanna F., et al.
Veröffentlicht: (2019)

Unravelling Abstract Cyclic Proofs into Proofs by Induction
von: Grotenhuis, Lide, et al.
Veröffentlicht: (2026)

Predicative Ordinal Recursion on the Constructive Veblen Hierarchy
von: Tabatabai, Amirhossein Akbar, et al.
Veröffentlicht: (2025)

The Fluted Fragment with Transitive Relations
von: Pratt-Hartmann, Ian, et al.
Veröffentlicht: (2020)

Hereditary First-Order Logic: the tractable quantifier prefix classes
von: Bodirsky, Manuel, et al.
Veröffentlicht: (2024)

On the Computational Power of Extensional ESO
von: Bodirsky, Manuel, et al.
Veröffentlicht: (2025)

Adversarial Barrier in Uniform Class Separation
von: Rosko, Milan
Veröffentlicht: (2025)

Locality, Consistency, and the Tractability Frontier
von: Simas, Tristan
Veröffentlicht: (2026)

A propositional cirquent calculus for computability logic
von: Japaridze, Giorgi
Veröffentlicht: (2024)

A proof complexity conjecture and the Incompleteness theorem
von: Krajicek, Jan
Veröffentlicht: (2023)

Local-Order-Invariant Logic on Classes of Bounded Degree
von: Aoki, Derek
Veröffentlicht: (2025)

A Theory for Probabilistic Polynomial-Time Reasoning
von: Chen, Lijie, et al.
Veröffentlicht: (2026)

Punctually Standard and Nonstandard Models of Natural Numbers
von: Bazhenov, Nikolay, et al.
Veröffentlicht: (2026)

Thoughts on sub-Turing interactive computability
von: Japaridze, Giorgi
Veröffentlicht: (2024)

A general approach to asymptotic elimination of aggregation functions and generalized quantifiers
von: Koponen, Vera, et al.
Veröffentlicht: (2023)

Notes on CSPs and Polymorphisms
von: Brady, Zarathustra
Veröffentlicht: (2022)

A Proof-Theoretic Approach to the Semantics of Classical Linear Logic
von: Barroso-Nascimento, Victor, et al.
Veröffentlicht: (2025)

A New Ehrenfeucht-Fraïssé Game for Dependence Logic
von: Puljujärvi, Joni, et al.
Veröffentlicht: (2026)

Formally Verifying the Safety of Pipelined Moonshot Consensus Protocol
von: Praveen, M., et al.
Veröffentlicht: (2024)

A Note on the Complexity of the Satisfiability Problem for Graded Modal Logics
von: Kazakov, Yevgeny, et al.
Veröffentlicht: (2009)

Constant time testability of first-order logic with modulo counting on finitary graphs
von: Adler, Isolde, et al.
Veröffentlicht: (2026)

Count-Free Weisfeiler--Leman and Group Isomorphism
von: Collins, Nathaniel A., et al.
Veröffentlicht: (2022)

On the existence of strong proof complexity generators
von: Krajicek, Jan
Veröffentlicht: (2022)

Do not throw out the baby: Clarithmetics as alternatives to weak arithmetics
von: Japaridze, Giorgi
Veröffentlicht: (2026)

Computing Non-Repetitive Sequences with a Computable Lefthanded Local Lemma
von: Mourad, Daniel
Veröffentlicht: (2024)

Preservation Theorems Through the Lens of Topology
von: Lopez, Aliaume
Veröffentlicht: (2020)

Mechanised uniform interpolation for modal logics K, GL, and iSL
von: Férée, Hugo, et al.
Veröffentlicht: (2024)

IECZ-III: Hardcore Condensation Lift with Size-Aware Invariants
von: Lela, Marko
Veröffentlicht: (2025)