A note on well quasi-orderings for powersets

DOI10.1016/S0020-0190(99)00149-0MaRDI QIDQ1607015zbMATH OpenOpenAlexWikidataFDO

Authors Petr Jančar

Publication date 25 July 2002

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

Full work available at URL https://doi.org/10.1016/s0020-0190(99)00149-0

Mathematics Subject Classification ID

Combinatorics of partially ordered sets (06A07) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Fine analysis of the quasi-orderings on the power set
• Well quasi ordering finite posets and formal languages
• On well-quasi-ordering finite sequences
• On well quasiordering of finite languages
• Well (and better) quasi-ordered transition systems

Cites work

• scientific article; zbMATH DE number 3914378 (Why is no real title available?)
• Ensuring completeness of symbolic verification methods for infinite-state systems
• Foundations of BQO Theory

Cited in

(13)

• Fixed points and Noetherian topologies
• Reverse mathematics, well-quasi-orders, and Noetherian spaces
• Better-quasi-orderings and coinduction
• scientific article; zbMATH DE number 5356400 (Why is no real title available?)
• Fine analysis of the quasi-orderings on the power set
• Regular separability of well-structured transition systems
• Well-structured transition systems everywhere!
• Well rewrite orderings and well quasi-orderings
• Handling infinitely branching well-structured transition systems
• The FEP for some varieties of fully distributive knotted residuated lattices
• A characterization of Plotkin's order in powerdomains, and some of its properties
• Infinitary Noetherian constructions I. Infinite words
• The ideal approach to computing closed subsets in well-quasi-orderings

This page was built for publication: A note on well quasi-orderings for powersets

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