Reverse mathematics and Isbell's zig-zag theorem

DOI10.1002/malq.201300071zbMath1321.03028OpenAlexW2142374823MaRDI QIDQ2922498

Takashi Sato

Publication date: 10 October 2014

Published in: Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/malq.201300071

zbMATH Keywords

ACAbinary relationreverse mathematicsWKLmonaddominatedforbidden subrelationzig-zag

Mathematics Subject Classification ID

General structure theory for semigroups (20M10) Foundations of classical theories (including reverse mathematics) (03B30) Second- and higher-order arithmetic and fragments (03F35)

Cites Work

• A short proof of Isbell's zigzag theorem
• A proof of Isbell's zig-zag theorem
• An algebraic proof of Isbell's zigzag theorem
• On free products of semigroups and a new proof of Isbell's zigzag theorem
• Connected components of graphs and reverse mathematics
• A PROOF OF ISBELL’S ZIGZAG THEOREM