Displaying similar documents to “Regular spaces of small extent are ω-resolvable”

A Finite Axiomatization of Nondeterministic Regular Expressions

Flavio Corradini, Rocco De Nicola, Anna Labella (2010)

RAIRO - Theoretical Informatics and Applications

Similarity:

An alternative (tree-based) semantics for a class of regular expressions is proposed that assigns a central rôle to the + operator and thus to nondeterminism and nondeterministic choice. For the new semantics a consistent and complete axiomatization is obtained from the original axiomatization of regular expressions by Salomaa and by Kozen by dropping the idempotence law for + and the distribution law of • over +.

r-Realcompact spaces

D. Bhattacharya, Lipika Dey (2012)

Commentationes Mathematicae Universitatis Carolinae

Similarity:

A new generalization of realcompactness based on ultrafilters of regular F σ -subsets is introduced. Its relationship with realcompactness, almost realcompactness, almost* realcompactness, c-realcompactness is examined. Some of the properties of the newly introduced space is studied as well.