The Gödel Hierarchy and Reverse Mathematics

doi 10.1017/cbo9780511750762.008
Full Text
Abstract

Available in full text

Date

Unknown

Authors
Publisher

Cambridge University Press

Related search

Reverse Mathematics

Notices of the American Mathematical Society
Mathematics
2018English

Reverse Mathematics: The Playground of Logic

Bulletin of Symbolic Logic
PhilosophyLogic
2010English

Reverse Mathematics and Algebraic Field Extensions

Computability
Theoretical Computer ScienceComputational TheoryComputer Science ApplicationsArtificial IntelligenceMathematics
2013English

The Complexity of Satisfaction Problems in Reverse Mathematics

Computability
Theoretical Computer ScienceComputational TheoryComputer Science ApplicationsArtificial IntelligenceMathematics
2015English

Representations of Reals in Reverse Mathematics

Bulletin of the Polish Academy of Sciences Mathematics
2007English

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

Journal of Symbolic Logic
PhilosophyLogic
2004English

Design of Reverse and Missing Jaw Detector Jig Using Analytic Hierarchy Process (AHP)

International Journal of Recent Technology and Engineering
EngineeringManagement of TechnologyInnovation
2019English

Carnap’s Dream: Gödel, Wittgenstein, and Logical, Syntax

Synthese
PhilosophySocial Sciences
2006English

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

Bulletin of Symbolic Logic
PhilosophyLogic
2018English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy