Home

Open Problem Garden

  • Help
  • About
  • Contact
  login/create account
Home » Subject » Logic

Finite Model Theory


TitleAuthor(s)Imp.¹Rec.²Subtopicsort iconPosted by
Fixed-point logic with countingBlass✭✭0dberwanger
Order-invariant queriesSegoufin✭✭0dberwanger
Monadic second-order logic with cardinality predicatesCourcelle✭✭0dberwanger
Blatter-Specker Theorem for ternary relationsMakowsky✭✭0dberwanger
MSO alternation hierarchy over picturesGrandjean✭✭0dberwanger
Finite entailment of Positive Horn logicMartin✭✭0LucSegoufin
Vertex Cover Integrality GapAtserias✭✭0dberwanger

Imp.¹: Importance (Low ✭, Medium ✭✭, High ✭✭✭, Outstanding ✭✭✭✭)
Rec.²: Recommended for undergraduates.

Note: Resolved problems from this section may be found in Solved problems.

Syndicate content

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
Powered by  Drupal                       Hosted by  CSI of Charles University                       Content distributed under                       Disclaimer