On Extensions of Models of Strong Fragments of Arithmetic

Proceedings of the American Mathematical Society - United States
doi 10.2307/2047717
Full Text
Abstract

Available in full text

Date
Authors
Publisher

JSTOR

Related search

Partially Conservative Extensions of Arithmetic

Transactions of the American Mathematical Society
MathematicsApplied Mathematics
1979English

Undecidable Extensions of Skolem Arithmetic

Journal of Symbolic Logic
PhilosophyLogic
1998English

Unprovability of Lower Bounds on Circuit Size in Certain Fragments of Bounded Arithmetic

Izvestiya Mathematics
Mathematics
1995English

Forcing and Models of Arithmetic

Proceedings of the American Mathematical Society
MathematicsApplied Mathematics
1974English

Diophantine Correct Models of Arithmetic

Proceedings of the American Mathematical Society
MathematicsApplied Mathematics
1979English

Arithmetic Purity of Strong Approximation for Homogeneous Spaces

Journal des Mathematiques Pures et Appliquees
MathematicsApplied Mathematics
2019English

On Certain Elementary Extensions of Models of Set Theory

Transactions of the American Mathematical Society
MathematicsApplied Mathematics
1984English

Models of Arithmetic and Upper Bounds for Arithmetic Sets

Journal of Symbolic Logic
PhilosophyLogic
1994English

Erratum To: Analyzing Restricted Fragments of the Theory of Linear Arithmetic

Annals of Mathematics and Artificial Intelligence
Applied MathematicsArtificial Intelligence
2017English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy