Open Problem Garden
Help
About
Contact
login/create account
Home
»
Subject
»
Logic
Finite Model Theory
Title
Author(s)
Imp.¹
Rec.²
Subtopic
Posted by
Vertex Cover Integrality Gap
Atserias
✭✭
0
dberwanger
Fixed-point logic with counting
Blass
✭✭
0
dberwanger
Monadic second-order logic with cardinality predicates
Courcelle
✭✭
0
dberwanger
MSO alternation hierarchy over pictures
Grandjean
✭✭
0
dberwanger
Blatter-Specker Theorem for ternary relations
Makowsky
✭✭
0
dberwanger
Finite entailment of Positive Horn logic
Martin
✭✭
0
LucSegoufin
Order-invariant queries
Segoufin
✭✭
0
dberwanger
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