Open Problem Garden
Help
About
Contact
login/create account
Home
»
Subject
»
Logic
Finite Model Theory
Title
Author(s)
Imp.¹
Rec.²
Subtopic
Posted by
Blatter-Specker Theorem for ternary relations
Makowsky
✭✭
0
dberwanger
Finite entailment of Positive Horn logic
Martin
✭✭
0
LucSegoufin
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
Order-invariant queries
Segoufin
✭✭
0
dberwanger
Vertex Cover Integrality Gap
Atserias
✭✭
0
dberwanger
Navigate
Subject
Algebra
(7)
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
Chords of longest cycles
Do any three longest paths in a connected graph have a vertex in common?
Chromatic number of $\frac{3}{3}$-power of graph
3-Edge-Coloring Conjecture
r-regular graphs are not uniquely hamiltonian.
more