Open Problem Garden
Help
About
Contact
login/create account
Home
»
Subject
»
Logic
Finite Model Theory
Title
Author(s)
Imp.¹
Rec.²
Subtopic
Posted by
Fixed-point logic with counting
Blass
✭✭
0
dberwanger
Order-invariant queries
Segoufin
✭✭
0
dberwanger
Monadic second-order logic with cardinality predicates
Courcelle
✭✭
0
dberwanger
Blatter-Specker Theorem for ternary relations
Makowsky
✭✭
0
dberwanger
MSO alternation hierarchy over pictures
Grandjean
✭✭
0
dberwanger
Vertex Cover Integrality Gap
Atserias
✭✭
0
dberwanger
Finite entailment of Positive Horn logic
Martin
✭✭
0
LucSegoufin
Navigate
Subject
Algebra
(295)
Analysis
(5)
Combinatorics
(35)
Geometry
(29)
Graph Theory
(228)
Group Theory
(5)
Logic
(10)
Finite Model Theory
(7)
Number Theory
(49)
PDEs
(0)
Probability
(1)
Theoretical Comp. Sci.
(13)
Topology
(40)
Unsorted
(1)
Author index
Keyword index
more
Recent Activity
Nowhere-zero flows
Shuffle-Exchange Conjecture
Algebra
Seagull problem
Solution to the Lonely Runner Conjecture
more