Reverse Mathematics and the Equivalence of Definitions for Well and Better Quasi-Orders

Journal of Symbolic Logic- United Kingdom

doi 10.2178/jsl/1096901762

Full Text

Abstract

Available in

Categories

PhilosophyLogic

Date

Authors

Publisher

Cambridge University Press (CUP)

Related search

Reverse Mathematics and Partial Orders, University of Udine, Italy, 2014. Supervised by Alberto Marcone

Bulletin of Symbolic Logic
PhilosophyLogic
2018English

Induction and Explanatory Definitions in Mathematics

Synthese
PhilosophySocial Sciences
2019English

Equivalence Classes of Maximal Orders

Nagoya Mathematical Journal
Mathematics
1968English

On the Consistency and Equivalence of Certain Definitions of Summability

Transactions of the American Mathematical Society
MathematicsApplied Mathematics
1917English

The Gödel Hierarchy and Reverse Mathematics

English

Reverse Mathematics

Notices of the American Mathematical Society
Mathematics
2018English

Well-Definedness and Observational Equivalence for Inductive–coinductive Programs

Journal of Logic and Computation
ArtsHumanitiesHardwareArchitectureLogicTheoretical Computer ScienceSoftware
2019English

Reverse Mathematics and Algebraic Field Extensions

Computability
Theoretical Computer ScienceComputational TheoryComputer Science ApplicationsArtificial IntelligenceMathematics
2013English

Some Problems Concerning Definitions in Mathematics and Physics

Boletim da Sociedade Paranaense de Matematica
Mathematics
2009English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2026 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy