Displaying similar documents to “On maximal ot-subsets of the Euclidean plane.”

Maximal pseudocompact spaces

Jack R. Porter, Robert M., Jr. Stephenson, Grant R. Woods (1994)

Commentationes Mathematicae Universitatis Carolinae

Similarity:

Maximal pseudocompact spaces (i.e. pseudocompact spaces possessing no strictly stronger pseudocompact topology) are characterized. It is shown that submaximal pseudocompact spaces whose pseudocompact subspaces are closed need not be maximal pseudocompact. Various techniques for constructing maximal pseudocompact spaces are described. Maximal pseudocompactness is compared to maximal feeble compactness.

Routh’s, Menelaus’ and Generalized Ceva’s Theorems

Boris A. Shminke (2012)

Formalized Mathematics

Similarity:

The goal of this article is to formalize Ceva’s theorem that is in the [8] on the web. Alongside with it formalizations of Routh’s, Menelaus’ and generalized form of Ceva’s theorem itself are provided.