skip to content
Model theory and the philosophy of mathematical practice : formalization without foundationalism Preview this item
ClosePreview this item
Checking...

Model theory and the philosophy of mathematical practice : formalization without foundationalism

Author: John T Baldwin
Publisher: Cambridge, United Kingdom : Cambridge University Press, 2018. ©2018
Edition/Format:   Print book : EnglishView all editions and formats
Summary:

Surveys the history of modern model theory, emphasizing the significance, both for philosophy and for mathematical practice, of its mid-twentieth century transformation. Rich in both context and  Read more...

Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Additional Physical Format: ebook version :
Document Type: Book
All Authors / Contributors: John T Baldwin
ISBN: 9781107189218 1107189217
OCLC Number: 1028239995
Description: xi, 352 pages : illustrations ; 26 cm
Contents: Part I. Refining the Notion of Categoricity: 1. Formalization; 2. The context of formalization; 3. Categoricity; Part II. The Paradigm Shift: 4. What was model theory about?; 5. What is contemporary model theory about?; 6. Isolating tame mathematics; 7. Infinitary logic; 8. Model theory and set theory; Part III. Geometry: 9. Axiomatization of geometry; 10. , area, and circumference of circles; 11. Complete: the word for all seasons; Part IV. Methodology: 12. Formalization and purity in geometry; 13. On the nature of definition: model theory; 14. Formalism-freeness; 15. Summation.
Responsibility: John T. Baldwin (University of Illinois, Chicago).

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

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

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/1028239995> # Model theory and the philosophy of mathematical practice : formalization without foundationalism
    a schema:Book, schema:CreativeWork ;
    library:oclcnum "1028239995" ;
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/enk> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/4744575351#Topic/model_theory_philosophy> ; # Model theory--Philosophy
    schema:about <http://experiment.worldcat.org/entity/work/data/4744575351#Topic/philosophie> ; # Philosophie
    schema:about <http://dewey.info/class/511.34/e23/> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/4744575351#Topic/logic_symbolic_and_mathematical> ; # Logic, Symbolic and mathematical
    schema:about <http://experiment.worldcat.org/entity/work/data/4744575351#Topic/mathematik> ; # Mathematik
    schema:about <http://experiment.worldcat.org/entity/work/data/4744575351#Topic/model_theory> ; # Model theory
    schema:about <http://experiment.worldcat.org/entity/work/data/4744575351#Topic/formalisierung> ; # Formalisierung
    schema:about <http://experiment.worldcat.org/entity/work/data/4744575351#Topic/modelltheorie> ; # Modelltheorie
    schema:author <http://experiment.worldcat.org/entity/work/data/4744575351#Person/baldwin_john_t> ; # John T. Baldwin
    schema:bookFormat bgn:PrintBook ;
    schema:copyrightYear "2018" ;
    schema:datePublished "2018" ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/4744575351> ;
    schema:inLanguage "en" ;
    schema:isSimilarTo <http://worldcat.org/entity/work/data/4744575351#CreativeWork/> ;
    schema:name "Model theory and the philosophy of mathematical practice : formalization without foundationalism"@en ;
    schema:productID "1028239995" ;
    schema:workExample <http://worldcat.org/isbn/9781107189218> ;
    umbel:isLike <http://bnb.data.bl.uk/id/resource/GBB7L5481> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/1028239995> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/4744575351#Person/baldwin_john_t> # John T. Baldwin
    a schema:Person ;
    schema:familyName "Baldwin" ;
    schema:givenName "John T." ;
    schema:name "John T. Baldwin" ;
    .

<http://experiment.worldcat.org/entity/work/data/4744575351#Topic/logic_symbolic_and_mathematical> # Logic, Symbolic and mathematical
    a schema:Intangible ;
    schema:name "Logic, Symbolic and mathematical"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/4744575351#Topic/model_theory_philosophy> # Model theory--Philosophy
    a schema:Intangible ;
    schema:name "Model theory--Philosophy"@en ;
    .

<http://worldcat.org/entity/work/data/4744575351#CreativeWork/>
    a schema:CreativeWork ;
    schema:description "ebook version :" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/1028239995> ; # Model theory and the philosophy of mathematical practice : formalization without foundationalism
    .

<http://worldcat.org/isbn/9781107189218>
    a schema:ProductModel ;
    schema:isbn "1107189217" ;
    schema:isbn "9781107189218" ;
    .

<http://www.worldcat.org/title/-/oclc/1028239995>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
    schema:about <http://www.worldcat.org/oclc/1028239995> ; # Model theory and the philosophy of mathematical practice : formalization without foundationalism
    schema:dateModified "2019-09-09" ;
    void:inDataset <http://purl.oclc.org/dataset/WorldCat> ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.