ML-1996-11: Zambella, Domenico (1996) Forcing in Finite Structures (revised version of ML-1996-02). [Report]
![[thumbnail of Full Text]](https://eprints.illc.uva.nl/style/images/fileicons/text.png) |
Text (Full Text)
ML-1996-11.text.ps.gz Download (104kB) |
|
Text (Abstract)
ML-1996-11.abstract.txt Download (672B) |
Abstract
We present a simple and completely modeltheoretical proof of a strengthening
of a theorem of Ajtai's: the independence of the pigeonhole principle from
I-\Delta_0(R). Qua strength, the theorem proved here corresponds to the
complexity/prooftheoretical results of [10] and [14] but a different
combinatorics is used. Techniques inspired by Razborov [11] replace those
derived from Hastad [8]. This leads to a much shorter and very direct
construction.
Mathematics Subject Classification. 03C62, 03F35 and 03H15.
Keywords: Models of atithmetic, bounded arithmetic, finite model theory.
| Item Type: | Report |
|---|---|
| Report Nr: | ML-1996-11 |
| Series Name: | Mathematical Logic and Foundations (ML) |
| Year: | 1996 |
| Date Deposited: | 12 Oct 2016 14:40 |
| Last Modified: | 12 Oct 2016 14:40 |
| URI: | https://eprints.illc.uva.nl/id/eprint/1379 |
Actions (login required)
 |
View Item |
