Preferencje help
Widoczny [Schowaj] Abstrakt
Liczba wyników

Znaleziono wyników: 3

Liczba wyników na stronie
first rewind previous Strona / 1 next fast forward last
Wyniki wyszukiwania
w słowach kluczowych:  power set
help Sortuj według:

help Ogranicz wyniki do:
first rewind previous Strona / 1 next fast forward last
Content available On regular languages over power sets
The power set of a finite set is used as the alphabet of a string interpreting a sentence of Monadic Second-Order Logic so that the string can be reduced (in a straightforward way) to the symbols occurring in the sentence. Simple extensions to regular expressions are described matching the succinctness of Monadic Second-Order Logic. A link to Goguen and Burstall’s notion of an institution is forged, and applied to conceptions within natural language semantics of time based on change.
Content available Didactic remarks on the power set
The paper is devoted to correct understanding of the notation for the power set. Often this notation is mistaken with a power of the number 2. The correct definition of the power set is presented as well as several task which an serve for strengthening the understanding of this notion.
Content available remote Marczewski-Burstin representations of Boolean algebras isomorphic to a power set
The paper contains some sufficient conditions for Marczewski-Burstin representability of an algebra A of sets which is isomorphic to P(X) for some X. We characterize those algebras of sets which are inner MB-representable and isomorphic to a power set. We consider connections between inner MB-representability and hull property of an algebra isomorphic to P(X) and completeness of an associated quotient algebra. An example of an infinite universally MB-representable algebra is given.
first rewind previous Strona / 1 next fast forward last
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.