H. Läuchli

On the elementary theory of linear order

H. Läuchli, Jack E. Leonard · Fundamenta Mathematicae · 1966 · 111 citations · Full text

Elementary Theory, Linear Operator, Partially Ordered Set +1

A partition theorem

J. D. Halpern, H. Läuchli · Transactions of the American Mathematical Society · 1966 · 105 citations

Combinatorics On Word, Partition Theorem, Partition (Database) +7

Monadic second order definable relations on the binary tree

H. Läuchli, Christian Savioz · Journal of Symbolic Logic · 1987 · 38 citations · Full text

Algebraic Logic, Tree Language, Engineering +12

The independence of the ordering principle from a restricted axiom of choice

H. Läuchli · Fundamenta Mathematicae · 1964 · 25 citations · Full text

Restricted Axiom, Order Theory

Coloring infinite graphs and the Boolean prime ideal theorem

H. Läuchli · Israel Journal of Mathematics · 1971 · 17 citations

Graph Theory, Algebraic Graph Theory, Topological Graph Theory +3