Tome (1983)

Completeness properties of classical theories of finite type and the normal form theorem

GDML_Books, (1983), p.

Résumé

CONTENTSIntroduction........................................................................................................................................................................................................................50. Terminology and preliminaries......................................................................................................................................................................................121. The extent of cut elimination by absorption..................................................................................................................................................................172. ∏¹-completeness of second order logic and a new proof of the normal form theorem.................................................................................................243. Weak models and proper three-valued models of second order theories....................................................................................................................314. Model theoretic proofs of the normal form theorem for higher order systems: comparison with the literature..............................................................395. Completeness of the systems $J T^{n}$ and $\prod^{n}$ -completeness of $\sum^{n}$ -theories.....................................................................................................436. ∀-analytical completeness of the systems $J P R E^{n}$ and poor completeness of the theories $P R E^{n}$ of primitive recursive equations....................487. ∀¹ ∃⁰-completeness of PRE² and König’s Lemma for primitive recursive 0-1-trees......................................................................................................56References.......................................................................................................................................................................................................................62

Zbl 0537.03038

EUDML-ID : urn:eudml:doc:268480

@book{bwmeta1.element.zamlynska-ea62dbfc-3044-4b08-8dc8-3ed809a7fb93,
     author = {Peter P\"appinghaus},
     title = {Completeness properties of classical theories of finite type and the normal form theorem},
     series = {GDML\_Books},
     publisher = {Instytut Matematyczny Polskiej Akademi Nauk},
     address = {Warszawa},
     year = {1983},
     zbl = {0537.03038},
     language = {en},
     url = {http://dml.mathdoc.fr/item/bwmeta1.element.zamlynska-ea62dbfc-3044-4b08-8dc8-3ed809a7fb93}
}

Peter Päppinghaus. Completeness properties of classical theories of finite type and the normal form theorem. GDML_Books (1983),  http://gdmltest.u-ga.fr/item/bwmeta1.element.zamlynska-ea62dbfc-3044-4b08-8dc8-3ed809a7fb93/