Pages that link to "Item:Q1188945"
From MaRDI portal
The following pages link to Logical number theory I. An introduction (Q1188945):
Displaying 30 items.
- Informal versus formal mathematics (Q885512) (← links)
- Taking the Pirahã seriously (Q907196) (← links)
- Existence of rational points on smooth projective varieties (Q1024257) (← links)
- A direct method for simulating partial recursive functions by Diophantine equations (Q1326783) (← links)
- Index sets and presentations of complexity classes (Q1366536) (← links)
- Nondeterministic stack register machines (Q1391527) (← links)
- Book review of: J. von Plato, The great formal machinery works. Theories of deduction and computation at the origins of the digital age (Q1622657) (← links)
- The diagonal polynomials of dimension four (Q1775741) (← links)
- First-order expressibility of languages with neutral letters or: The Crane Beach conjecture (Q1776372) (← links)
- Diophantine sets. Preliminaries (Q1796771) (← links)
- Refuting learning revisited. (Q1874232) (← links)
- On arithmetical first-order theories allowing encoding and decoding of lists (Q1960537) (← links)
- Axiomatic (and non-axiomatic) mathematics (Q2080664) (← links)
- Weak essentially undecidable theories of concatenation (Q2085573) (← links)
- Packing polynomials on irrational sectors (Q2153896) (← links)
- When is scalar multiplication decidable? (Q2311210) (← links)
- On decidability and axiomatizability of some ordered structures (Q2318170) (← links)
- Diophantine sets. II (Q2337339) (← links)
- Formalization of the MRDP theorem in the Mizar system (Q2337340) (← links)
- Formalizing mathematical knowledge as a biform theory graph: a case study (Q2364688) (← links)
- On the metamathematics of the P vs. NP question (Q2383632) (← links)
- Some thoughts on hypercomputation (Q2497877) (← links)
- (Q2777515) (← links)
- The number of solutions of a diophantine equation over a recursive ring (Q2855895) (← links)
- EXPANSIONS OF THE ORDERED ADDITIVE GROUP OF REAL NUMBERS BY TWO DISCRETE SUBGROUPS (Q2976377) (← links)
- HUME’S PRINCIPLE, BEGINNINGS (Q3006003) (← links)
- ORDER TYPES OF MODELS OF FRAGMENTS OF PEANO ARITHMETIC (Q5085859) (← links)
- Word problems and ceers (Q6096328) (← links)
- Some aspects of rational points and rational curves (Q6119705) (← links)
- Logical labeling schemes (Q6172301) (← links)
