Ramsey’s Theorem

Pole DC	Wartość	Język
dc.contributor.author	Riccardi, Marco	-
dc.date.accessioned	2026-09-15T12:07:10Z	-
dc.date.available	2026-09-15T12:07:10Z	-
dc.date.issued	2008	-
dc.identifier.citation	Formalized Mathematics, Volume 16, Issue 2, 2008, Pages 203-205	pl
dc.identifier.issn	1426-2630	-
dc.identifier.uri	http://hdl.handle.net/11320/21032	-
dc.description.abstract	The goal of this article is to formalize two versions of Ramsey’s theorem. The theorems are not phrased in the usually pictorial representation of a coloured graph but use a set-theoretic terminology. After some useful lemma, the second section presents a generalization of Ramsey’s theorem on infinite set closely following the book [9]. The last section includes the formalization of the theorem in a more known version (see [1]).	pl
dc.language.iso	en	pl
dc.publisher	University of Białystok	pl
dc.rights.uri	https://creativecommons.org/licenses/by-sa/4.0/	-
dc.title	Ramsey’s Theorem	pl
dc.type	Article	pl
dc.rights.holder	© 2009 Marco Riccardi, published by University of Białystok	pl
dc.rights.holder	This work is licensed under the Creative Commons License	pl
dc.identifier.doi	10.2478/v10037-008-0026-y	-
dc.description.references	M. Aigner and G. M.Ziegler. Proofs from THE BOOK. Springer-Verlag, Berlin Heidelberg New York, 2004.	pl
dc.description.references	Grzegorz Bancerek. Cardinal numbers. Formalized Mathematics, 1(2):377–382, 1990.	pl
dc.description.references	Grzegorz Bancerek and Krzysztof Hryniewiecki. Segments of natural numbers and finite sequences. Formalized Mathematics, 1(1):107–114, 1990.	pl
dc.description.references	Czesław Byliński. Functions and their basic properties. Formalized Mathematics, 1(1):55-65, 1990.	pl
dc.description.references	Czesław Byliński. Functions from a set to a set. Formalized Mathematics, 1(1):153–164, 1990.	pl
dc.description.references	Czesław Byliński. Partial functions. Formalized Mathematics, 1(2):357–367, 1990.	pl
dc.description.references	Agata Darmochwał. Finite sets. Formalized Mathematics, 1(1):165–167, 1990.	pl
dc.description.references	Krzysztof Hryniewiecki. Basic properties of real numbers. Formalized Mathematics, 1(1):35–40, 1990.	pl
dc.description.references	T. J. Jech. Set Theory. Springer-Verlag, Berlin Heidelberg New York, 2002.	pl
dc.description.references	Rafał Kwiatek. Factorial and Newton coefficients. Formalized Mathematics, 1(5):887–890, 1990.	pl
dc.description.references	Takaya Nishiyama and Yasuho Mizuhara. Binary arithmetics. Formalized Mathematics, 4(1):83–86, 1993.	pl
dc.description.references	Konrad Raczkowski and Paweł Sadowski. Equivalence relations and classes of abstraction. Formalized Mathematics, 1(3):441–444, 1990.	pl
dc.description.references	Marco Riccardi. The sylow theorems. Formalized Mathematics, 15(3):159–165, 2007. [14] Andrzej Trybulec. A Borsuk theorem on homotopy types. Formalized Mathematics, 2(4):535–545, 1991.	pl
dc.description.references	Zinaida Trybulec. Properties of subsets. Formalized Mathematics, 1(1):67–71, 1990.	pl
dc.description.references	Edmund Woronowicz. Relations and their basic properties. Formalized Mathematics, 1(1):73–83, 1990.	pl
dc.description.references	Edmund Woronowicz. Relations defined on sets. Formalized Mathematics, 1(1):181–186, 1990.	pl
dc.description.references	Andrzej Trybulec. A Borsuk theorem on homotopy types. Formalized Mathematics, 2(4):535–545, 1991.	pl
dc.identifier.eissn	1898-9934	-
dc.description.firstpage	203	pl
dc.description.lastpage	205	pl
dc.identifier.citation2	Formalized Mathematics	pl
Występuje w kolekcji(ach):	Formalized Mathematics, 2008, Volume 16, Issue 2

Pliki w tej pozycji:

Plik	Opis	Rozmiar	Format
Ramsey's_Theorem.pdf		237,18 kB	Adobe PDF	Otwórz

Pokaż uproszczony widok rekordu Zobacz statystyki

Pozycja ta dostępna jest na podstawie licencji Licencja Creative Commons CCL