RANK LOGIC IS DEAD, LONG LIVE RANK LOGIC!

DOI10.1017/jsl.2018.33zbMath1425.68134OpenAlexW2922213978MaRDI QIDQ4628673

Erich Grädel, Wied Pakusa

Publication date: 15 March 2019

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

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

zbMATH Keywords

group actionfinite model theorydescriptive complexityfixed-point logic with countingrank logicsolvability operator

Mathematics Subject Classification ID

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

Related Items (1)

Choiceless Logarithmic Space

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Finite model theory and its applications.
• Affine systems of equations and counting infinitary logic
• An optimal lower bound on the number of variables for graph identification
• A note on closure properties of logspace MOD classes
• Definability of linear equation systems over groups and rings
• Choiceless Polynomial Time on Structures with Small Abelian Colour Classes
• Pebble Games with Algebraic Rules
• On the Hardness of Graph Isomorphism
• On finite rigid structures

This page was built for publication: RANK LOGIC IS DEAD, LONG LIVE RANK LOGIC!