Fundamenta Mathematicae

Representation of a finite graph by a set of intervals on the real line

C. Lekkeikerker, James Boland · 1962 · 718 citations

Architecture, Architectural Representation, Graph Visualization +4

On a generalization of quantifiers

Andrzej Mostowski · 1957 · 688 citations · Full text

Humanities, Computer Science, Mathematics +13

An application of games to the completeness problem for formalized theories

Andrzej Ehrenfeucht · 1961 · 613 citations · Full text

Computing, Computer Science, Mathematics +14

Matrix factorizations and link homology

Mikhail Khovanov, Lev Rozansky · 2008 · 563 citations · Full text

Natural Sciences, Mathematics, Physics +14

The first order properties of products of algebraic systems

Solomon Feferman, Robertl. Vaught · 1959 · 488 citations · Full text

Natural Sciences, Computer Science, Mathematics +8