Rank logic is dead, long live rank logic!

DOI10.1017/JSL.2018.33MaRDI QIDQ4628673zbMATHOpenAlexFDO

Authors Erich Grädel, Wied Pakusa

Publication date 15 March 2019

Published in Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://drops.dagstuhl.de/opus/volltexte/2015/5427/

zbMATH Keywords

finite model theorygroup actiondescriptive complexityfixed-point logic with countingrank logicsolvability operator

Mathematics Subject Classification ID

Matrices over special rings (quaternions, finite fields, etc.) (15B33) Model theory of finite structures (03C13) Finite automorphism groups of algebraic, geometric, or combinatorial structures (20B25) Descriptive complexity and finite models (68Q19)

Recommendations

• Rank logic is dead, long live rank logic!
• Symmetric Circuits for Rank Logic
• scientific article; zbMATH DE number 4008383
• Logical hierarchies in PTIME
• Infinitary logic and inductive definability over finite structures

Cites work

• scientific article; zbMATH DE number 3888913 (Why is no real title available?)
• scientific article; zbMATH DE number 176518 (Why is no real title available?)
• scientific article; zbMATH DE number 1324669 (Why is no real title available?)
• scientific article; zbMATH DE number 979011 (Why is no real title available?)
• A note on closure properties of logspace MOD classes
• Affine systems of equations and counting infinitary logic
• An optimal lower bound on the number of variables for graph identification
• Choiceless polynomial time on structures with small abelian colour classes
• Definability of linear equation systems over groups and rings
• Finite model theory and its applications.
• On finite rigid structures
• On the Hardness of Graph Isomorphism

Cited in

(6)

• Symmetric circuits for rank logic
• Symmetric Circuits for Rank Logic
• Game comonads \& generalised quantifiers
• On the descriptive complexity of temporal constraint satisfaction problems
• Choiceless Logarithmic Space
• Rank logic is dead, long live rank logic!

This page was built for publication: Rank logic is dead, long live rank logic!

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