On the size of minimal unsatisfiable formulas.

Lee, Choongbum

Displaying similar documents to “On the size of minimal unsatisfiable formulas.”

A multidimensional Taylor's theorem with minimal hypothesis

J. Marshall Ash, A. Eduardo Gatto, Stephen Vági (1990)

Colloquium Mathematicae

Similarity:

On the minimal overlap problem of Erdös

L Moser (1959)

Acta Arithmetica

Similarity:

Minimal realcompact spaces

Asit Baran-Raha (1972)

Colloquium Mathematicae

Similarity:

Minimal Niven numbers

H. Fredricksen, E. J. Ionascu, F. Luca, P. Stănică (2008)

Acta Arithmetica

Similarity:

Heterochromatic matchings in edge-colored graphs.

Wang, Guanghui, Li, Hao (2008)

The Electronic Journal of Combinatorics [electronic only]

Similarity:

Two commuting maps without common minimal points

Tomasz Downarowicz (2011)

Colloquium Mathematicae

Similarity:

We construct an example of two commuting homeomorphisms S, T of a compact metric space X such that the union of all minimal sets for S is disjoint from the union of all minimal sets for T. In other words, there are no common minimal points. This answers negatively a question posed in [C-L]. We remark that Furstenberg proved the existence of "doubly recurrent" points (see [F]). Not only are these points recurrent under both S and T, but they recur along the same sequence of powers. Our...