New studies in weak arithmetics (original) (raw)
Related papers
Annals of Pure and Applied Logic, 1985
Introduction to the papers of TWG 02 : Arithmetic and number systems
2019
Book Review: Arithmetic functions and integer products
Bulletin of the American Mathematical Society, 1988
THE HIGHER ARITHMETIC: AN INTRODUCTION TO THE THEORY OF NUMBERS, Eighth edition
Bounded arithmetic, proof complexity and two papers of Parikh
Annals of Pure and Applied Logic, 1999
On Herbrand consistency in weak arithmetic
Archive for Mathematical Logic, 2001
Problems and results on minimal bases in additive number theory
Number Theory, 1987
Konrad Zdanowski, Marcin Mostowski
Fundamenta Informaticae
On some problems of Mąkowski–Schinzel and Erdős concerning the arithmetical functions φ and σ
Colloquium Mathematicum, 2002
A New Theory of Numbers: The Latest Discoveries in Mathematics; The Abbreviated Version
NEW DISCOVERIES IN MATHEMATICS A New Theory of Numbers: The Latest Discoveries in Mathematics: The Abbreviated Version, 2020
The “Golden” Number Theory and New Properties of Natural Numbers
British Journal of Mathematics & Computer Science, 2015
Some arithmetical properties of Apéry numbers
Journal of Computational and Applied Mathematics, 1995
Some Problems in Elementary Number Theory and Modular Forms
1998
On the additive theory of prime numbers II
Eprint Arxiv Math 0609554, 2006
Number Theory: New York Seminar 1991–1995
1996
Intuitionistic weak arithmetic
Archive for Mathematical Logic, 2003
On the Additive Theory of Prime Numbers
Fundam. Informaticae, 2007
Some Results on Number Theory and Analysis
Horizon Research Publishing(HRPUB) Kevin Nelson
Mathematics and Statistics, 2022
Two conjectures on the arithmetic in ℝ and ℂ
MLQ, 2010
Elements of Number Theory: Lecture Notes
On arithmetical functions satisfying congruence properties
2003
Some of Erd\H os' unconventional problems in number theory, thirty-four years later
2019
Some conjectures in elementary number theory
2013
Arithmetical Independence Results Using Higher Recursion Theory
Journal of Symbolic Logic, 2004
A Small Reflection Principle for Bounded Arithmetic
Journal of Symbolic Logic, 1994
On the Consistency of the Arithmetic System
2017
On Certain Extentions of the Arithmetic of Addition of Natural Numbers
Mathematics of the USSR – Izvestia. 15:2, 1980
Weak Arithmetics and Kripke Models
MLQ, 2002
Notes on Number Theory and Discrete Mathematics
2003
Certain aspects of some arithmetic functions in number theory
Overspill and fragments of arithmetic
Archive for Mathematical Logic, 1989
Bounded arithmetic for NC, ALogTIME, L and NL
Annals of Pure and Applied Logic, 1992
Strengths and weaknesses of LH arithmetic
2003
A characterization of some arithmetical multiplicative functions
Acta Mathematica Hungarica, 1994