Reverse mathematics, trichotomy, and dichotomy

descriptionPublicationkeyboard_double_arrow_right Article 01 Jan 2012Publisher:Journal of Logic and AnalysisJournal:Journal of Logic and Analysis (eissn: 1759-9008,

Copyright policy )

Authors: François G Dorais; Jeffry L Hirst; Paul Shafer;

doi: 10.4115/jla.2012.4.13

Reverse mathematics, trichotomy, and dichotomy

- Summary
- Subjects
- Metrics

Abstract

Using the techniques of reverse mathematics, we analyze the logical strength of statements similar to trichotomy and dichotomy for sequences of reals. Capitalizing on the connection between sequential statements and constructivity, we find computable restrictions of the statements for sequences and constructive restrictions of the original principles. 2010 Mathematics Subject Classification 03B30, 03F35 (primary); 03F60, 30F50 (secondary)

Related Organizations

Appalachian State University
United States
Dartmouth College
United States

Keywords

QA1-939, Mathematics

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).	6
	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.	Top 10%

Found an issue? Give us feedback

6

Average

Top 10%

gold

Fields of Science

Fields of Science

Related to Research communities

UArctic