Reverse mathematics, well-quasi-orders, and Noetherian spaces

DOI10.1007/s00153-015-0473-4zbMath1342.03041arXiv1504.07452OpenAlexW1521384790WikidataQ59894048 ScholiaQ59894048MaRDI QIDQ283113

Matthew Hendtlass, Alberto Marcone, Emanuele Frittaion, Paul Shafer, Jeroen Van der Meeren

Publication date: 13 May 2016

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

Full work available at URL: https://arxiv.org/abs/1504.07452

zbMATH Keywords

reverse mathematicsHoare quasi-ordersecond-order arithmeticSmyth quasi-orderwell-quasi-orders (wqo)

Mathematics Subject Classification ID

Foundations of classical theories (including reverse mathematics) (03B30) Second- and higher-order arithmetic and fragments (03F35)

Related Items (3)

Uniquely orderable interval graphs ⋮ (EXTRA)ORDINARY EQUIVALENCES WITH THE ASCENDING/DESCENDING SEQUENCE PRINCIPLE ⋮ The Reverse Mathematics of wqos and bqos

Cites Work

• Reverse mathematics and initial intervals
• The maximal linear extension theorem in second order arithmetic
• Topological aspects of poset spaces
• On powerdomains and modality
• Logical methods. In honor of Anil Nerode's 60th birthday
• A note on well quasi-orderings for powersets
• Filters on computable posets
• On Fraissé's order type conjecture
• Sur les premeilleurs ordres. (On prémeilleurs orderings)
• Linear extensions of partial orders and reverse mathematics
• REVERSE MATHEMATICS OF MF SPACES
• Noetherian Spaces in Verification
• Non-Hausdorff Topology and Domain Theory
• Reverse mathematics and the equivalence of definitions for well and better quasi-orders
• A Theorem on Hypersimple Sets
• Partial well‐ordering of sets of vectors
• Fine analysis of the quasi-orderings on the power set
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Reverse mathematics, well-quasi-orders, and Noetherian spaces