The metamathematics of Fraïssé's order type conjecture

descriptionPublicationkeyboard_double_arrow_right Part of book or chapter of book , Other literature type 01 Jan 1990Publisher:Springer Berlin Heidelberg

Authors: P. Clote;

doi: 10.1007/bfb0086113

The metamathematics of Fraïssé's order type conjecture

- Summary
- Metrics

Abstract

A well ordering has the property that any non-empty subset has a minimum element. In [Girard (i) ATR0 proves that the collection S n of countable scattered linear orderings at level n of the Hausdorff hierarchy is better quasi ordered (bqo), and (ii) ATR0 proves that "if α is an ordinal and Q is bqo then Q α is bqo".

Related Organizations

Boston College
United States

Impact byBIP!

	selected citations These citations are derived from selected sources. This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).	8
	popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network.	Average
	influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).	Top 10%
	impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.	Average