Mapping among the nodes of infinite trees: a variation of Kőnig's infinity lemma

DOI10.1016/J.IPL.2015.01.005MaRDI QIDQ2339600zbMATH OpenOpenAlexWikidataFDO

Authors Jayadev Misra

Publication date 2 April 2015

Published in Information Processing Letters (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.ipl.2015.01.005

zbMATH Keywords

Kőnig's infinity lemmamappings among trees

Mathematics Subject Classification ID

Trees (05C05)

Recommendations

• König's infinity lemma and Beth's tree theorem
• A weighted König lemma for symbolic dynamics
• On the origins of Dénes König's infinity lemma
• Ramsey's theorem and König's lemma
• scientific article; zbMATH DE number 1154177

Cites work

• A denotational semantic theory of concurrent systems

Cited in

(3)

• A denotational semantic theory of concurrent systems
• König's infinity lemma and Beth's tree theorem
• scientific article; zbMATH DE number 1154177 (Why is no real title available?)

This page was built for publication: Mapping among the nodes of infinite trees: a variation of Kőnig's infinity lemma

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2339600)