Weak theories of concatenation and minimal essentially undecidable theories

Archive for Mathematical Logic 53 (7-8):835-853 (2014)

Abstract This article has no associated abstract. (fix it)
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1007/s00153-014-0391-x
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 45,727
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

Undecidability Without Arithmetization.Andrzej Grzegorczyk - 2005 - Studia Logica 79 (2):163-230.
Growing Commas. A Study of Sequentiality and Concatenation.Albert Visser - 2009 - Notre Dame Journal of Formal Logic 50 (1):61-85.
On Interpretability in the Theory of Concatenation.Vítězslav Švejdar - 2009 - Notre Dame Journal of Formal Logic 50 (1):87-95.
Arithmetic on Semigroups.Mihai Ganea - 2009 - Journal of Symbolic Logic 74 (1):265-278.
Concatenation as a Basis for Arithmetic.W. V. Quine - 1946 - Journal of Symbolic Logic 11 (4):105-114.

View all 7 references / Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

Weak Theories of Concatenation and Arithmetic.Yoshihiro Horihata - 2012 - Notre Dame Journal of Formal Logic 53 (2):203-222.
Arithmetic on Semigroups.Mihai Ganea - 2009 - Journal of Symbolic Logic 74 (1):265-278.
On VC-Minimal Theories and Variants.Vincent Guingona & Michael C. Laskowski - 2013 - Archive for Mathematical Logic 52 (7-8):743-758.
Forking in VC-Minimal Theories.Sarah Cotter & Sergei Starchenko - 2012 - Journal of Symbolic Logic 77 (4):1257-1271.
More on The Decidability of Mereological Theories.Hsing-Chien Tsai - 2011 - Logic and Logical Philosophy 20 (3):251-265.
Minimal Truth and Interpretability.Martin Fischer - 2009 - Review of Symbolic Logic 2 (4):799-815.
Weakly One-Based Geometric Theories.Alexander Berenstein & Evgueni Vassiliev - 2012 - Journal of Symbolic Logic 77 (2):392-422.
Remarks on Compositionality and Weak Axiomatic Theories of Truth.Günther Eder - 2014 - Journal of Philosophical Logic 43 (2-3):541-547.
Some Two-Cardinal Results for o-Minimal Theories.Timothy Bays - 1998 - Journal of Symbolic Logic 63 (2):543-548.
Small Theories of Boolean Ordered o-Minimal Structures.Roman Wencel - 2002 - Journal of Symbolic Logic 67 (4):1385-1390.
Weak Dividing, Chain Conditions, and Simplicity.Alfred Dolich - 2003 - Archive for Mathematical Logic 43 (2):265-283.
Hereditary Undecidability of Some Theories of Finite Structures.Ross Willard - 1994 - Journal of Symbolic Logic 59 (4):1254-1262.

Analytics

Added to PP index
2014-07-19

Total views
13 ( #648,656 of 2,280,975 )

Recent downloads (6 months)
1 ( #843,456 of 2,280,975 )

How can I increase my downloads?

Downloads

My notes

Sign in to use this feature