Arithmetical Identities in a 2‐element Model of Tarski's System

Mathematical Logic Quarterly 48 (2):277-282 (2002)
  Copy   BIBTEX

Abstract

All arithmetical identities involving 1, addition, multiplication and exponentiation will be true in a 2-element model of Tarski's system if a certain sequence of natural numbers is not bounded. That sequence can be bounded only if the set of Fermat's prime numbers is finite

Categories

Keywords

Reprint years

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,672

External links

  • This entry has no external links. Add one.
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

On models of exponentiation. Identities in the HSI-algebra of posets.Gurgen Asatryan - 2008 - Mathematical Logic Quarterly 54 (3):280-287.
A solution to identities problem in 2-element HSI-algebras.Gurgen R. Asatryan - 2004 - Mathematical Logic Quarterly 50 (2):175.
Tarski's system of geometry.Alfred Tarski & Steven Givant - 1999 - Bulletin of Symbolic Logic 5 (2):175-214.
On Tarski on models.Timothy Bays - 2001 - Journal of Symbolic Logic 66 (4):1701-1726.
On complex exponentiation restricted to the integers.Carlo Toffalori & Kathryn Vozoris - 2010 - Journal of Symbolic Logic 75 (3):955-970.
On external Scott algebras in nonstandard models of peano arithmetic.Vladimir Kanovei - 1996 - Journal of Symbolic Logic 61 (2):586-607.
Groups and algebras of binary relations.Steven Givant & Hajnal Andréka - 2002 - Bulletin of Symbolic Logic 8 (1):38-64.
Was Tarski's Theory of Truth Motivated by Physicalism?Greg Frost-Arnold - 2004 - History and Philosophy of Logic 25 (4):265-280.
Review: A. Tarski, R. L. Vaught, Elementary (Arithmetical) Extensions. [REVIEW]Abraham Robinson - 1967 - Journal of Symbolic Logic 32 (1):131-131.
On the canonicity of Sahlqvist identities.Bjarni Jónsson - 1994 - Studia Logica 53 (4):473 - 491.
Review: Alfred Tarski, Robert L. Vaught, Arithmetical Extensions of Relational Systems. [REVIEW]Abraham Robinson - 1967 - Journal of Symbolic Logic 32 (1):131-131.
Tarski, truth and model theory.Peter Milne - 1999 - Proceedings of the Aristotelian Society 99 (2):141–167.
Tarski's physicalism.Richard L. Kirkham - 1993 - Erkenntnis 38 (3):289-302.
Rosser orderings and free variables.Dick Jongh & Franco Montagna - 1991 - Studia Logica 50 (1):71 - 80.
Arithmetical and specular self-reference.Damjan Bojadžiev - 2004 - Acta Analytica 19 (33):55-63.

Analytics

Added to PP
2013-12-01

Downloads
12 (#1,080,675)

6 months
1 (#1,462,504)

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

Add more references