Preview this item
Preview this item
Checking...

# Elements of mathematical logic : (model theory).

Author: G Kreisel; J L Krivine Burlington : Elsevier, 2000. Studies in logic and the foundations of mathematics. eBook : Document : EnglishView all editions and formats Provability, Computability and Reflection. (not yet rated) 0 with reviews - Be the first.

## Find a copy in the library

Finding libraries that hold this item...

## Details

Genre/Form: Electronic books Print version:Kreisel, G.Elements of mathematical logic : (model theory).Burlington : Elsevier, ©2000 Document, Internet resource Internet Resource, Computer File G Kreisel; J L Krivine Find more information about: G Kreisel J L Krivine 9780080957678 0080957676 813230007 1 online resource (235 pages). Front Cover; Elements of Mathematical Logic; Copyright Page; CONTENTS; Chapter 0. Preliminaries: Definition schemas; Chapter 1. Propositional calculus; Exercises; Chapter 2. Predicate calculus; Exercises; Chapter 3. Predicate calculus with equality; Exercises; Chapter 4. Elimination of quantifiers; Dense orders with first and last element; Discrete orders without first or last element; Some commutative groups with discrete total orderings; Algebraically closed fields; Real closed fields; Seperable Boolean rings; Exercises. Chapter 5. Predicate calculus with several types of objects: the hierarchy of finite typesPredicate calculus with equality, with k types of objects, without function symbols; Predicate calculus with equality. with k types of objects. including function symbols; Finite type structure; Hierarchy of finite types; Principal models; Exercises; Chapter 6. Definability; Invariance and stability; Invariance and stability: hierarchy of finite types; Rigidity; Definability in C-realizations; Exercises; Chapter 7. Principal models: models of infinite formulas; Principal models: formulas of finite order. Principal models: some formulas of second orderInfinite formulas which define finitary relations; CountabIe languages: countable sets of infinite formulas; Exercises; Appendix I. The axiomatic method; Appendix II. Foundations of mathematics; Part A: Set-theoretic semantic foundations; 1. Analysis of intuitive mathematics in set-theoretic terms; 2. Formulation of laws for the basic set-theoretic notions; 3. New axioms for the set-theoretic notions: axioms of infinity; 4. Analysis of the intuitive notion of logical validity; Part B: Combinatorial foundations; 0. Combinatorial reasoning. 1. Analysis of intuitive mathematics in combinatorial terms2. Formulation of laws for the basic combinatorial notions; 3. Developments of the theory; 4. Critical discussion; Part C: Semantic versus syntactic (combinatorial) introduction to mathematical logic; mathematical logic. Studies in logic and the foundations of mathematics.

### Abstract:

Provability, Computability and Reflection.

## Reviews

User-contributed reviews

Be the first.

## Similar Items

### Related Subjects:(2)

Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

### Primary Entity

<http://www.worldcat.org/oclc/813230007> # Elements of mathematical logic : (model theory).
a schema:CreativeWork, schema:MediaObject, schema:Book ;
library:oclcnum "813230007" ;
library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/118264979#Place/burlington> ; # Burlington
library:placeOfPublication <http://id.loc.gov/vocabulary/countries/vtu> ;
schema:about <http://id.worldcat.org/fast/1002068> ; # Logic, Symbolic and mathematical
schema:bookFormat schema:EBook ;
schema:contributor <http://viaf.org/viaf/92399890> ; # J. L. Krivine
schema:creator <http://viaf.org/viaf/15582257> ; # G. Kreisel
schema:datePublished "2000" ;
schema:description "Provability, Computability and Reflection."@en ;
schema:description "Front Cover; Elements of Mathematical Logic; Copyright Page; CONTENTS; Chapter 0. Preliminaries: Definition schemas; Chapter 1. Propositional calculus; Exercises; Chapter 2. Predicate calculus; Exercises; Chapter 3. Predicate calculus with equality; Exercises; Chapter 4. Elimination of quantifiers; Dense orders with first and last element; Discrete orders without first or last element; Some commutative groups with discrete total orderings; Algebraically closed fields; Real closed fields; Seperable Boolean rings; Exercises."@en ;
schema:exampleOfWork <http://worldcat.org/entity/work/id/118264979> ;
schema:genre "Electronic books"@en ;
schema:inLanguage "en" ;
schema:isPartOf <http://experiment.worldcat.org/entity/work/data/118264979#Series/studies_in_logic_and_the_foundations_of_mathematics> ; # Studies in logic and the foundations of mathematics.
schema:isSimilarTo <http://worldcat.org/entity/work/data/118264979#CreativeWork/elements_of_mathematical_logic_model_theory> ;
schema:name "Elements of mathematical logic : (model theory)."@en ;
schema:productID "813230007" ;
schema:publication <http://www.worldcat.org/title/-/oclc/813230007#PublicationEvent/burlington_elsevier_2000> ;
schema:publisher <http://experiment.worldcat.org/entity/work/data/118264979#Agent/elsevier> ; # Elsevier
schema:url <http://public.eblib.com/choice/publicfullrecord.aspx?p=579243> ;
schema:workExample <http://worldcat.org/isbn/9780080957678> ;
wdrs:describedby <http://www.worldcat.org/title/-/oclc/813230007> ;
.

### Related Entities

<http://experiment.worldcat.org/entity/work/data/118264979#Series/studies_in_logic_and_the_foundations_of_mathematics> # Studies in logic and the foundations of mathematics.
a bgn:PublicationSeries ;
schema:hasPart <http://www.worldcat.org/oclc/813230007> ; # Elements of mathematical logic : (model theory).
schema:name "Studies in logic and the foundations of mathematics." ;
schema:name "Studies in logic and the foundations of mathematics ;" ;
.

<http://experiment.worldcat.org/entity/work/data/118264979#Topic/mathematics_general> # MATHEMATICS--General
a schema:Intangible ;
schema:name "MATHEMATICS--General"@en ;
.

<http://id.worldcat.org/fast/1002068> # Logic, Symbolic and mathematical
a schema:Intangible ;
schema:name "Logic, Symbolic and mathematical"@en ;
.

<http://viaf.org/viaf/15582257> # G. Kreisel
a schema:Person ;
schema:familyName "Kreisel" ;
schema:givenName "G." ;
schema:name "G. Kreisel" ;
.

<http://viaf.org/viaf/92399890> # J. L. Krivine
a schema:Person ;
schema:familyName "Krivine" ;
schema:givenName "J. L." ;
schema:name "J. L. Krivine" ;
.

<http://worldcat.org/entity/work/data/118264979#CreativeWork/elements_of_mathematical_logic_model_theory>
a schema:CreativeWork ;
rdfs:label "Elements of mathematical logic : (model theory)." ;
schema:description "Print version:" ;
schema:isSimilarTo <http://www.worldcat.org/oclc/813230007> ; # Elements of mathematical logic : (model theory).
.

<http://worldcat.org/isbn/9780080957678>
a schema:ProductModel ;
schema:isbn "0080957676" ;
schema:isbn "9780080957678" ;
.

Content-negotiable representations