Sciweavers

NDJFL
2002
75views more  NDJFL 2002»
13 years 10 months ago
Definability of Initial Segments
In any nonstandard model of Peano arithmetic, the standard part is not first order definable. But we show that in some model the standard part is definable as the unique solution ...
Saharon Shelah, Akito Tsuboi
AML
2005
69views more  AML 2005»
13 years 10 months ago
Epsilon substitution for transfinite induction
We apply Mints' technique for proving the termination of the epsilon substitution method via cut-elimination to the system of Peano Arithmetic with Transfinite Induction give...
Henry Towsner
APAL
2006
98views more  APAL 2006»
13 years 11 months ago
Ackermann's substitution method (remixed)
We aim at a conceptually clear and technical smooth investigation of Ackermann's substitution method. Our analysis provides a direct classification of the provable recursive ...
Georg Moser
APAL
2010
83views more  APAL 2010»
13 years 11 months ago
Truth in generic cuts
In an earlier paper (MLQ 54, 128
Richard Kaye, Tin Lok Wong
AML
2010
87views more  AML 2010»
13 years 11 months ago
On the form of witness terms
We investigate the development of terms during cut-elimination in first-order logic and Peano arithmetic for proofs of existential formulas. The form of witness terms in cut-free p...
Stefan Hetzl
CSL
2007
Springer
14 years 5 months ago
Proofs, Programs and Abstract Complexity
Programs and Abstract Complexity A. Beckmann University of Wales Swansea Swansea, UK Axiom systems are ubiquitous in mathematical logic, one famous and well studied example being ï...
Arnold Beckmann
BIRTHDAY
2007
Springer
14 years 5 months ago
The Hydra Battle Revisited
Showing termination of the Battle of Hercules and Hydra is a challenge. We present the battle both as a rewrite system and as an arithmetic while program, provide proofs of their t...
Nachum Dershowitz, Georg Moser
CIE
2009
Springer
14 years 5 months ago
Relationship between Kanamori-McAloon Principle and Paris-Harrington Theorem
We give a combinatorial proof of a tight relationship between the Kanamori-McAloon principle and the Paris-Harrington theorem with a number-theoretic parameter function. We show th...
Gyesik Lee