Pages that link to "Item:Q3980089"

The following pages link to On the completeness of a certain system of arithmetic of whole numbers in which addition occurs as the only operation (Q3980089):

Displaying 23 items.

• The unreasonable ubiquitousness of quasi-polynomials (Q405135) (← links)
• Theories of initial segments of standard models of arithmetics and their complete extensions (Q549718) (← links)
• Truncations of ordered abelian groups (Q829755) (← links)
• Modelization of deterministic rational relations (Q1603699) (← links)
• Integrability of oscillatory functions on local fields: transfer principles (Q2017077) (← links)
• On representations of intended structures in foundational theories (Q2121479) (← links)
• The Frobenius postage stamp problem, and beyond (Q2220981) (← links)
• Ostrowski-automatic sequences: theory and applications (Q2222098) (← links)
• Sato-Tate theorem for families and low-lying zeros of automorphic \(L\)-functions. Appendix A by Robert Kottwitz, and Appendix B by Raf Cluckers, Julia Gordon and Immanuel Halupczok. (Q2634616) (← links)
• Bounded minimalisation and bounded counting in argument-bounded idc's (Q3060189) (← links)
• Decision algorithms for Fibonacci-automatic Words, I: Basic results (Q3186674) (← links)
• Mechanical Proofs of Properties of the Tribonacci Word (Q3449367) (← links)
• A Characterisation of the Relations Definable in Presburger Arithmetic (Q3502652) (← links)
• Domain mu-calculus (Q4460689) (← links)
• A DEFINABLE -ADIC ANALOGUE OF KIRSZBRAUN’S THEOREM ON EXTENSIONS OF LIPSCHITZ MAPS (Q4600328) (← links)
• Definable sets up to definable bijections in Presburger groups (Q4642703) (← links)
• Parametric Presburger arithmetic: logic, combinatorics, and quasi-polynomial behavior (Q4645009) (← links)
• A Plethora of Polynomials: A Toolbox for Counting Problems (Q5067476) (← links)
• ON THE COMMUTATIVITY OF PULL-BACK AND PUSH-FORWARD FUNCTORS ON MOTIVIC CONSTRUCTIBLE FUNCTIONS (Q5195068) (← links)
• Presburger Arithmetic, Rational Generating Functions, and Quasi-Polynomials (Q5327451) (← links)
• The lattice of definability: origins, recent developments, and further directions (Q6132481) (← links)
• On Presburger arithmetic extended with non-unary counting quantifiers (Q6135772) (← links)
• Synthetic undecidability and incompleteness of first-order axiom systems in Coq. Extended version (Q6156642) (← links)