Logical number theory I. An introduction
From MaRDI portal
Publication:1188945
zbMath0759.03002MaRDI QIDQ1188945
Publication date: 17 September 1992
Published in: Universitext (Search for Journal in Brave)
Decidability (number-theoretic aspects) (11U05) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Decidability of theories and sets of sentences (03B25) First-order arithmetic and fragments (03F30) History of mathematical logic and foundations (03-03) Sociology (and profession) of mathematics (01A80)
Related Items
A direct method for simulating partial recursive functions by Diophantine equations, Refuting learning revisited., Formalizing mathematical knowledge as a biform theory graph: a case study, Book review of: J. von Plato, The great formal machinery works. Theories of deduction and computation at the origins of the digital age, On the metamathematics of the P vs. NP question, Packing polynomials on irrational sectors, Index sets and presentations of complexity classes, ORDER TYPES OF MODELS OF FRAGMENTS OF PEANO ARITHMETIC, Informal versus formal mathematics, Nondeterministic stack register machines, Word problems and ceers, Unnamed Item, Some aspects of rational points and rational curves, Logical labeling schemes, Deciding whether a relation defined in Presburger logic can be defined in weaker logics, Taking the Pirahã seriously, Foundations and Philosophy of Mathematics in Warsaw, the School of Andrzej Mostowski and Philosophy, EXPANSIONS OF THE ORDERED ADDITIVE GROUP OF REAL NUMBERS BY TWO DISCRETE SUBGROUPS, Diagonal polynomials for small dimensions, On arithmetical first-order theories allowing encoding and decoding of lists, HUME’S PRINCIPLE, BEGINNINGS, Partial Recursive Functions and Finality, Logical string rewriting, The diagonal polynomials of dimension four, First-order expressibility of languages with neutral letters or: The Crane Beach conjecture, Some thoughts on hypercomputation, Diophantine sets. Preliminaries, Existence of rational points on smooth projective varieties, When is scalar multiplication decidable?, On decidability and axiomatizability of some ordered structures, Axiomatic (and non-axiomatic) mathematics, Weak essentially undecidable theories of concatenation, The number of solutions of a diophantine equation over a recursive ring, Diophantine sets. II, Formalization of the MRDP theorem in the Mizar system, Recasting Stefano Zambelli: Notes on the Foundations of Mathematics for a Post-Neoclassical Age in Economics, EFFECTIVE INSEPARABILITY, LATTICES, AND PREORDERING RELATIONS
