Computability-theoretic and proof-theoretic aspects of partial and linear orderings-Reference-Cited by-同舟云学术

Computability-theoretic and proof-theoretic aspects of partial and linear orderings

Published:2003-03 Issue:1 Volume:138 Page:271-289
ISSN:0021-2172
Container-title:Israel Journal of Mathematics
language:en
Short-container-title:Isr. J. Math.

Author:

Downey Rodney G.,Hirschfeldt Denis R.,Lempp Steffen,Solomon Reed

Publisher

Springer Science and Business Media LLC

Subject

General Mathematics

Link

http://link.springer.com/content/pdf/10.1007/BF02783429.pdf

Reference24 articles.

1. R. Bonnet,Stratifications et extension des genres de chaînes dénombrables, Comptes Rendus de l’Académie des Sciences, Paris, Série A-B269 (1969), A880-A882.

2. R. Bonnet and M. Pouzet,Extension et stratification d’ensembles dispersés, Comptes Rendus de l’Académie des Sciences, Paris, Série A-B268 (1969), A1512-A1515.

3. R. Bonnet and M. Pouzet,Linear extensions of ordered sets, inOrdered Sets (I. Rival, ed.), Proceedings of a NATO Advanced Study Institute held in Banff, Alta., August 28–September 12, 1981, D. Reidel Publishing Co., Dordrecht-Boston, Mass., 1982, pp. 125–170.

4. M. Dehn,Über unendliche diskontinuierliche Gruppen, Mathematische Annalen71 (1912), 116–144.

5. R. G. Downey,Computability theory and linear orderings, inHandbook of Recursive Mathematics, Vol. 2, North-Holland, Amsterdam, 1998, pp. 823–976.

Cited by 13 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. A Constructive Picture of Noetherian Conditions and Well Quasi-orders;Lecture Notes in Computer Science;2023

2. Linearisations and the Ershov hierarchy;Computability;2018-06-07

3. Some Questions in Computable Mathematics;Computability and Complexity;2016-12-01

4. Linear extensions of orders invariant under abelian group actions;Colloquium Mathematicum;2014

5. Linear extensions of partial orders and reverse mathematics;Mathematical Logic Quarterly;2012-09-27