Zobrazeno 1 - 3
of 3
pro vyhledávání: '"set-based specifications"'
Publikováno v:
Scopus-Elsevier
Inspired by some recent revisitations of the Cantor-Bernstein theorem, in particular its formalizations in ZF carried out via the proof assistant AProS by W. Sieg and P. Walsh, we are carrying out the proof of a related graph-theoretical proposition.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::6aa88e441454e547171b90ca98d8d5f2
http://hdl.handle.net/11368/2929132
http://hdl.handle.net/11368/2929132
This paper introduces formative processes, composed by transitive partitions. Given a family F of sets, a formative process ending in the Venn partition Sigma of F is shown to exist. Sufficient criteria are also singled out for a transitive partition
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::78a9692ba531fad4217c01e2964e716f
https://hdl.handle.net/11368/1696333
https://hdl.handle.net/11368/1696333
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.