Pages that link to "Item:Q5791204"
From MaRDI portal
The following pages link to Definability and decision problems in arithmetic (Q5791204):
Displaying 50 items.
- A near-optimal algorithm for computing real roots of sparse polynomials (Q3452416) (← links)
- LLL reducing with the most significant bits (Q3452418) (← links)
- Covering of surfaces parametrized without projective base points (Q3452419) (← links)
- Linear independence oracles and applications to rectangular and low rank linear systems (Q3452420) (← links)
- Faster relaxed multiplication (Q3452421) (← links)
- Unimodular completion of polynomial matrices (Q3452422) (← links)
- Elliptic curves retaining their rank in finite extensions and Hilbert's Tenth Problem for rings of algebraic numbers (Q3508028) (← links)
- Answer to a problem raised by J. Robinson: The arithmetic of positive or negative integers is definable from successor and divisibility (Q3752366) (← links)
- Definability in number fields (Q3765748) (← links)
- Undecidability and Definability for the Theory of Global Fields (Q3926549) (← links)
- Some theories associated with algebraically closed fields (Q3947648) (← links)
- The recursive sets in certain monadic second order fragments of arithmetic (Q4088807) (← links)
- The Diophantine Problem for Addition and Divisibility (Q4152529) (← links)
- The Diophantine Problem for Polynomial Rings and Fields of Rational Functions (Q4182609) (← links)
- Undecidable extensions of Skolem arithmetic (Q4212909) (← links)
- Extensions of Hilbert's tenth problem (Q4302340) (← links)
- (Q4327098) (← links)
- The theory of integer multiplication with order restricted to primes is decidable (Q4338318) (← links)
- $\mathbb \{Q\}$ muni de l’arithmétique faible de Penzin est décidable (Q4372333) (← links)
- (Q4429280) (← links)
- Existential definability with bounds on archimedean valuations (Q4650261) (← links)
- Variants of Robinson's essentially undecidable theoryR (Q4749827) (← links)
- Defining transcendentals in function fields (Q4779644) (← links)
- On Diophantine definability and decidability in some infinite totally real extensions of ℚ (Q4813802) (← links)
- Definability and decidability issues in extensions of the integers with the divisibility predicate (Q4894724) (← links)
- Address at the Princeton University Bicentennial Conference on Problems of Mathematics (December 17–19, 1946), By Alfred Tarski (Q4953233) (← links)
- Constructive Game Logic (Q5041088) (← links)
- HTP-COMPLETE RINGS OF RATIONAL NUMBERS (Q5070470) (← links)
- NOTES ON THE DPRM PROPERTY FOR LISTABLE STRUCTURES (Q5070471) (← links)
- ORDER TYPES OF MODELS OF FRAGMENTS OF PEANO ARITHMETIC (Q5085859) (← links)
- CONNECTEDNESS IN STRUCTURES ON THE REAL NUMBERS: O-MINIMALITY AND UNDECIDABILITY (Q5100061) (← links)
- Undecidability, unit groups, and some totally imaginary infinite extensions of ℚ (Q5119226) (← links)
- On the complexity of computing a random Boolean function over the reals (Q5140843) (← links)
- The diophantine problem for addition and divisibility for subrings of rational functions over finite fields (Q5145915) (← links)
- INTERPRETING ARITHMETIC IN THE FIRST-ORDER THEORY OF ADDITION AND COPRIMALITY OF POLYNOMIAL RINGS (Q5195064) (← links)
- Decidable fragments of field theories (Q5202171) (← links)
- Diophantine definability of nonnorms of cyclic extensions of global fields (Q5240177) (← links)
- An Exact Correspondence of Linear Problems and Randomizing Linear Algorithms (Q5244858) (← links)
- First order irrationality criteria for series (Q5247120) (← links)
- A construction of real closed fields (Q5258477) (← links)
- THE DIOPHANTINE PROBLEM FOR ADDITION AND DIVISIBILITY OVER SUBRINGS OF THE RATIONALS (Q5359580) (← links)
- As easy as $\mathbb {Q}$: Hilbert’s Tenth Problem for subrings of the rationals and number fields (Q5369029) (← links)
- On boolean functions and connected sets (Q5625156) (← links)
- Undecidable Rings (Q5804178) (← links)
- Arithmetical definability of field elements (Q5804179) (← links)
- On direct products of theories (Q5812176) (← links)
- Some theorems on definability and decidability (Q5812178) (← links)
- On reduction to a symmetric relation (Q5812179) (← links)
- Expansions of the real field by discrete subgroups of 𝐺𝑙_{𝑛}(ℂ) (Q5856979) (← links)
- UNIFORM DEFINABILITY OF INTEGERS IN REDUCED INDECOMPOSABLE POLYNOMIAL RINGS (Q5858916) (← links)
