Temat: Grzegorczyk algebras - Katalog OPAC zbiorów

Skocz do pozycji: 1.

Tytuł:: Grzegorczyk Algebras Revisited
Autorzy:: Stronkowski, Michał M.
Powiązania:: https://bibliotekanauki.pl/articles/750038.pdf
Data publikacji:: 2018
Wydawca:: Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Tematy:: Grzegorczyk algebras
free Boolean extensions of Heyting algebras
stable homomorphisms
Opis:: We provide simple algebraic proofs of two important facts, due to Zakharyaschev and Esakia, about Grzegorczyk algebras.
Źródło:: Bulletin of the Section of Logic; 2018, 47, 2
0138-0680
2449-836X
Pojawia się w:: Bulletin of the Section of Logic
Dostawca treści:: Biblioteka Nauki

Artykuł

Skocz do pozycji: 2.

Tytuł:: Mathematical Methods in Region-Based Theories of Space: The Case of Whitehead Points
Autorzy:: Gruszczyński, Rafał
Powiązania:: https://bibliotekanauki.pl/articles/43183148.pdf
Data publikacji:: 2024
Wydawca:: Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Tematy:: Boolean contact algebras
region-based theories of space
point-free theories of space
points
spatial reasoning
Grzegorczyk
Whitehead
extensive abstraction
Opis:: Regions-based theories of space aim—among others—to define points in a geometrically appealing way. The most famous definition of this kind is probably due to Whitehead. However, to conclude that the objects defined are points indeed, one should show that they are points of a geometrical or a topological space constructed in a specific way. This paper intends to show how the development of mathematical tools allows showing that Whitehead’s method of extensive abstraction provides a construction of objects that are fundamental building blocks of specific topological spaces.
Źródło:: Bulletin of the Section of Logic; 2024, 53, 1; 63-104
0138-0680
2449-836X
Pojawia się w:: Bulletin of the Section of Logic
Dostawca treści:: Biblioteka Nauki

Artykuł

Informacja