Přejít k hlavnímu obsahu
Czech
English
Ústav teorie informace a automatizace
Jste zde
Domů
Vyhledávání
Hledat
O ústavu
Domů
Výzkum
Výuka
Lidé
Struktura
Časopis Kybernetika
GDPR info
GEP info
Život ústavu
Informace
Návody
Aktivity
Semináře
Knihovna
Výpočetní středisko
Intranet
Přihlášení
Přístup k mailu
Covid - evidence testů
Lemon
Rezervace tělocvičny
Poštovní konference
Rezervace poslucháren
Bibliografie
Tomáš Pazák
Pazák Tomáš
,
Kůrka P.
:
Matematizace kontinua
,
Spor o matematizaci světa, p. 151-170 , Eds: Kůrka P., Matoušek A.
[2011]
Balcar Bohuslav
,
Pazák Tomáš
,
Thümmel E.
:
On Todorcevic orderings
,
Fundamenta Mathematicae vol.228, 2 (2015), p. 173-192
[2015]
Download
DOI:
10.4064/fm228-2-4
Balcar Bohuslav
,
Pazák Tomáš
:
Quotients of Boolean algebras and regular subalgebras
,
Archive for Mathematical Logic vol.49, 3 (2010), p. 329-342
[2010]
Download
DOI:
10.1007/s00153-010-0174-y
Balcar Bohuslav
,
Jech Thomas
,
Pazák Tomáš
:
Complete CCC Boolean Algebras, the order Sequential Topology, and a Problem of von Neumann
,
Bulletin of the London Mathematical Society vol.37, 6 (2005), p. 885-898
[2005]
Balcar Bohuslav
,
Jech Thomas
,
Pazák Tomáš
:
Complete ccc Boolean algebras, the order sequential topology, and a problem of von Neumann
,
Bulletin of the London Mathematical Society vol.37, 6 (2005), p. 885-898
[2005]
Pazák Tomáš
:
Exhaustive Structures on Boolean Algebras
,
( 2006)
[2006]
07.01.2019 - 08:39