Keywords:
Logic, Symbolic and mathematical
;
Logic, Symbolic and mathematical
;
Logic, Symbolic and mathematical
;
Electronic books
Description / Table of Contents:
Peano's axioms and models of arithmetic / Th. Skolem -- On definability and derivability / G. Hasenjaeger -- Models, translations and interpretations / G. Kreisel -- Ordered structures and related concepts / Abraham Robinson -- On denumerable bases of formal systems / Hao Wang -- Representation theorem for cylindrical algebras / L. Henkin -- Quelques remarques, the§ore§mes et proble§mes sur les classes de§finissables d'alge§bres / Jerzy Los§
Type of Medium:
Online Resource
Pages:
Online-Ressource (vi, 113 p)
Edition:
Online-Ausg. 2010 Electronic reproduction
ISBN:
9780444533814
Series Statement:
Studies in Logic and the Foundations of Mathematics v. 16
URL:
http://www.sciencedirect.com/science/book/9780444533814
URL:
http://www.sciencedirect.com/science/bookseries/0049237X/16
URL:
https://www.sciencedirect.com/science/bookseries/0049237X/16
URL:
https://www.sciencedirect.com/science/book/9780444533814
DDC:
511.3
Language:
English
Note:
"Contains the lectures, held at the symposion [sic] on 'Mathematical interpretation of formal systems' which was organized by the 'Wiskundig Genootschap' (Mathematical Society) at Amsterdam on September 9 and 10, 1954
,
Bibliography: p. 112-113
,
Peano's axioms and models of arithmetic
,
On definability and derivability
,
Models, translations and interpretations
,
Ordered structures and related concepts
,
On denumerable bases of formal systems
,
Representation theorem for cylindrical algebras
,
Quelques remarques, théorèmes et problèmes sur les classes définissables d'algèbres
,
Electronic reproduction
Permalink