24 search results - page 1 / 5 » Generic cuts in models of arithmetic |
MLQ
2008
14 years 10 months ago
2008
We present some general results concerning the topological space of cuts of a countable model of arithmetic given by a particular indicator Y . The notion of `indicator' is d...
59
Voted
APAL
2010
14 years 10 months ago
2010
In an earlier paper (MLQ 54, 128
APAL
2005
14 years 10 months ago
2005
We study the minimal enumeration degree (e-degree) problem in models of fragments of Peano arithmetic (PA) and prove the following results: In any model M of 2 induction, there is ...
TYPES
1998
Springer
15 years 2 months ago
1998
Springer
We define a generic notion of cut that applies to many first-order theories. We prove a generic cut elimination theorem showing that the cut elimination property holds for all theo...
110
click to vote
CADE
2012
Springer
13 years 16 days ago
2012
Springer
Abstract. This paper describes a novel decision procedure for quantifierfree linear integer arithmetic. Standard techniques usually relax the initial problem to the rational domai...