The field of p-adic numbers with a predicate for the powers of an integer

Journal of Symbolic Logic 82 (1):166-182 (2017)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1017/jsl.2016.22

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,197

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

The field of reals with a predicate for the real algebraic numbers and a predicate for the integer powers of two.Mohsen Khani - 2015 - Archive for Mathematical Logic 54 (7-8):885-898.
Semilinear cell decomposition.Nianzheng Liu - 1994 - Journal of Symbolic Logic 59 (1):199-208.
A version of p-adic minimality.Raf Cluckers & Eva Leenknegt - 2012 - Journal of Symbolic Logic 77 (2):621-630.
Logics for Reasoning About Processes of Thinking with Information Coded by p-adic Numbers.Angelina Ilić Stepić & Zoran Ognjanović - 2015 - Studia Logica 103 (1):145-174.
Hysteresis model of unconscious-conscious interconnection: Exploring dynamics on m-adic trees.Giuseppe Iurato & Andrei Khrennikov - 2015 - P-Adic Numbers, Ultrametric Analysis, and Applications 7 (4):312-321.
Limit computable integer parts.Paola D’Aquino, Julia Knight & Karen Lange - 2011 - Archive for Mathematical Logic 50 (7-8):681-695.
Quantifier Elimination for the Reals with a Predicate for the Powers of Two.Jeremy Avigad & Yimu Yin - unknown
Quantum mechanics andp-adic numbers.E. G. Beltrametti & G. Cassinelli - 1972 - Foundations of Physics 2 (1):1-7.
Every real closed field has an integer part.M. H. Mourgues & J. P. Ressayre - 1993 - Journal of Symbolic Logic 58 (2):641-647.
A p‐adic probability logic.Angelina Ilić-Stepić, Zoran Ognjanović, Nebojša Ikodinović & Aleksandar Perović - 2012 - Mathematical Logic Quarterly 58 (4-5):263-280.
Thorn independence in the field of real numbers with a small multiplicative group.Alexander Berenstein, Clifton Ealy & Ayhan Günaydın - 2007 - Annals of Pure and Applied Logic 150 (1-3):1-18.
Prime numbers and factorization in IE1 and weaker systems.Stuart T. Smith - 1992 - Journal of Symbolic Logic 57 (3):1057 - 1085.
p-Adic valued logical calculi in simulations of the slime mould behaviour.Andrew Schumann - 2015 - Journal of Applied Non-Classical Logics 25 (2):125-139.
Prime Numbers and Factorization in $mathrm{IE}_1$ and Weaker Systems.Stuart T. Smith - 1992 - Journal of Symbolic Logic 57 (3):1057-1085.
Real closed fields and models of Peano arithmetic.P. D'Aquino, J. F. Knight & S. Starchenko - 2010 - Journal of Symbolic Logic 75 (1):1-11.

Analytics

Added to PP
2017-03-26

Downloads
14 (#994,498)

6 months
4 (#797,974)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references