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
Wyszukiwano:
w słowach kluczowych:  power set
help Sortuj według:

help Ogranicz wyniki do:
first rewind previous Strona / 1 next fast forward last
1
Content available On regular languages over power sets
EN
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.
2
Content available Didactic remarks on the power set
EN
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.
3
Content available remote Marczewski-Burstin representations of Boolean algebras isomorphic to a power set
EN
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ć.