Reverse mathematics, well-quasi-orders, and Noetherian spaces
From MaRDI portal
Publication:283113
DOI10.1007/s00153-015-0473-4zbMath1342.03041arXiv1504.07452WikidataQ59894048 ScholiaQ59894048MaRDI QIDQ283113
Alberto Marcone, Emanuele Frittaion, Matthew Hendtlass, 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
reverse mathematics; Hoare quasi-order; second-order arithmetic; Smyth quasi-order; well-quasi-orders (wqo)
03B30: Foundations of classical theories (including reverse mathematics)
03F35: Second- and higher-order arithmetic and fragments