scholarly journals Dickson’s lemma and weak Ramsey theory

2018 ◽  
Vol 58 (3-4) ◽  
pp. 413-425
Author(s):  
Yasuhiko Omata ◽  
Florian Pelupessy
Keyword(s):  
Ramsey Theory ◽  
Dickson's Lemma ◽  
Dickson’S Lemma

A Proof of Parikh’s Theorem via Dickson’s Lemma

2021 ◽  
Vol 32 (02) ◽  
pp. 163-173
Author(s):  
Toshihiro Koga
Keyword(s):  
Tree Decomposition ◽  
Clear Separation ◽  
Context Free ◽  
Dickson's Lemma ◽  
Dickson’S Lemma ◽  
Context Free Grammars

In this paper, we give a proof of Parikh’s semilinear theorem via Dickson’s lemma. It is notable that our proof provides a clear separation between properties derived from Dickson’s lemma and tree decomposition for context-free grammars.

scholarly journals A Formal Proof of Dickson’s Lemma in ACL2

2003 ◽  
pp. 49-58 ◽  
Author(s):  
F. J. Martın-Mateos ◽  
J. A. Alonso ◽  
M. J. Hidalgo ◽  
J. L. Ruiz-Reina
Keyword(s):  
Formal Proof ◽  
Dickson's Lemma ◽  
Dickson’S Lemma

scholarly journals Recent results in partition (Ramsey) theory for finite lattices

1981 ◽  
Vol 35 (1-3) ◽  
pp. 185-198 ◽  
Author(s):  
Hans Jürgen Prömel ◽  
Bernd Voigt
Keyword(s):  
Ramsey Theory ◽  
Finite Lattices

scholarly journals Abstract topological Ramsey theory for nets

2016 ◽  
Vol 201 ◽  
pp. 314-329 ◽  
Author(s):  
Vassiliki Farmaki ◽  
Dimitris Karageorgos ◽  
Andreas Koutsogiannis ◽  
Andreas Mitropoulos
Keyword(s):  
Ramsey Theory

Fundamentals of Ramsey Theory

2021 ◽  
Author(s):  
Aaron Robertson
Keyword(s):  
Ramsey Theory

Idempotents in compact semigroups and Ramsey theory

1989 ◽  
Vol 68 (3) ◽  
pp. 257-270 ◽  
Author(s):  
H. Furstenberg ◽  
Y. Katznelson
Keyword(s):  
Ramsey Theory ◽  
Compact Semigroups
Sign in / Sign up

Export Citation Format

Share Document