Informacja

Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.

Tytuł pozycji:

Classical mereology is not elementarily axiomatizable

Tytuł:
Classical mereology is not elementarily axiomatizable
Autorzy:
Pietruszczak Andrzej
Data publikacji:
2015-08-22
Tematy:
classical mereology
mereological structures
the absence of elementary definability of classical mereolog
Język:
angielski
Dostawca treści:
CEJSH
Artykuł
  Przejdź do źródła  Link otwiera się w nowym oknie
By the classical mereology I mean a theory of mereological structures in the sense of [10]. In [7] I proved that the class of these structures is not elementarily axiomatizable. In this paper a new version of this result is presented, which according to my knowledge is the first such presentation in English. A relation of this result to a certain Hsing-chien Tsai’s theorem from [13] is emphasized.

Ta witryna wykorzystuje pliki cookies do przechowywania informacji na Twoim komputerze. Pliki cookies stosujemy w celu świadczenia usług na najwyższym poziomie, w tym w sposób dostosowany do indywidualnych potrzeb. Korzystanie z witryny bez zmiany ustawień dotyczących cookies oznacza, że będą one zamieszczane w Twoim komputerze. W każdym momencie możesz dokonać zmiany ustawień dotyczących cookies