skip to content
Mathematical Logic : On Numbers, Sets, Structures, and Symmetry Preview this item
ClosePreview this item
Checking...

Mathematical Logic : On Numbers, Sets, Structures, and Symmetry

Author: Roman Kossak
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018.
Series: Springer graduate texts in philosophy, 3.
Edition/Format:   eBook : Document : EnglishView all editions and formats
Summary:
This book, presented in two parts, offers a slow introduction to mathematical logic, and several basic concepts of model theory, such as first-order definability, types, symmetries, and elementary extensions. Its first part, Logic Sets, and Numbers, shows how mathematical logic is used to develop the number structures of classical mathematics. The exposition does not assume any prerequisites; it is rigorous, but as  Read more...
Rating:

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

Subjects
More like this

Find a copy online

Links to this item

Find a copy in the library

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

Details

Additional Physical Format: Printed edition:
Printed edition:
Printed edition:
Material Type: Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Roman Kossak
ISBN: 9783319972985 3319972987
OCLC Number: 1086470426
Description: 1 online resource (XIII, 186 p. 28 illus.) online resource.
Contents: Chapter1. Mathematical Logic --
Chapter2. Logical Seeing --
Chapter3. What is a Number? --
Chapter4. Number Structures --
Chapter5. Points, Lines --
Chapter6. Set Theory --
Chapter7. Relations --
Chapter8. Definable Elements and Constants --
Chapter9. Minimal and Order-Minimal Structures --
Chapter10. Geometry of Definable Sets --
Chapter11. Where Do Structures Come From? --
Chapter12. Elementary Extensions and Symmetries --
Chapter13. Tame vs. Wild --
Chapter14. First-order Properties --
Chapter15. Symmetries and Logical Visibility One More Time. .
Series Title: Springer graduate texts in philosophy, 3.
Responsibility: by Roman Kossak.

Abstract:

This book, presented in two parts, offers a slow introduction to mathematical logic, and several basic concepts of model theory, such as first-order definability, types, symmetries, and elementary extensions. Its first part, Logic Sets, and Numbers, shows how mathematical logic is used to develop the number structures of classical mathematics. The exposition does not assume any prerequisites; it is rigorous, but as informal as possible. All necessary concepts are introduced exactly as they would be in a course in mathematical logic; but are accompanied by more extensive introductory remarks and examples to motivate formal developments. The second part, Relations, Structures, Geometry, introduces several basic concepts of model theory, such as first-order definability, types, symmetries, and elementary extensions, and shows how they are used to study and classify mathematical structures. Although more advanced, this second part is accessible to the reader who is either already familiar with basic mathematical logic, or has carefully read the first part of the book. Classical developments in model theory, including the Compactness Theorem and its uses, are discussed. Other topics include tameness, minimality, and order minimality of structures. The book can be used as an introduction to model theory, but unlike standard texts, it does not require familiarity with abstract algebra. This book will also be of interest to mathematicians who know the technical aspects of the subject, but are not familiar with its history and philosophical background. .

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/1086470426> # Mathematical Logic On Numbers, Sets, Structures, and Symmetry
    a schema:MediaObject, schema:Book, schema:CreativeWork ;
    library:oclcnum "1086470426" ;
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/5512335720#Topic/logic_symbolic_and_mathematical> ; # Logic, Symbolic and mathematical
    schema:about <http://experiment.worldcat.org/entity/work/data/5512335720#Topic/arithmetic_and_logic_structures> ; # Arithmetic and Logic Structures
    schema:about <http://experiment.worldcat.org/entity/work/data/5512335720#Topic/philosophy_of_mathematics> ; # Philosophy of Mathematics
    schema:about <http://experiment.worldcat.org/entity/work/data/5512335720#Topic/mathematical_logic_and_foundations> ; # Mathematical Logic and Foundations
    schema:about <http://experiment.worldcat.org/entity/work/data/5512335720#Topic/applications_of_mathematics> ; # Applications of Mathematics
    schema:about <http://experiment.worldcat.org/entity/work/data/5512335720#Topic/computer_science> ; # Computer science
    schema:about <http://dewey.info/class/510.1/e23/> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/5512335720#Topic/logic> ; # Logic
    schema:about <http://experiment.worldcat.org/entity/work/data/5512335720#Topic/mathematics> ; # Mathematics
    schema:about <http://experiment.worldcat.org/entity/work/data/5512335720#Topic/mathematics_philosophy> ; # Mathematics--Philosophy
    schema:author <http://experiment.worldcat.org/entity/work/data/5512335720#Person/kossak_roman> ; # Roman Kossak
    schema:bookFormat schema:EBook ;
    schema:creator <http://experiment.worldcat.org/entity/work/data/5512335720#Person/kossak_roman> ; # Roman Kossak
    schema:datePublished "2018" ;
    schema:description "This book, presented in two parts, offers a slow introduction to mathematical logic, and several basic concepts of model theory, such as first-order definability, types, symmetries, and elementary extensions. Its first part, Logic Sets, and Numbers, shows how mathematical logic is used to develop the number structures of classical mathematics. The exposition does not assume any prerequisites; it is rigorous, but as informal as possible. All necessary concepts are introduced exactly as they would be in a course in mathematical logic; but are accompanied by more extensive introductory remarks and examples to motivate formal developments. The second part, Relations, Structures, Geometry, introduces several basic concepts of model theory, such as first-order definability, types, symmetries, and elementary extensions, and shows how they are used to study and classify mathematical structures. Although more advanced, this second part is accessible to the reader who is either already familiar with basic mathematical logic, or has carefully read the first part of the book. Classical developments in model theory, including the Compactness Theorem and its uses, are discussed. Other topics include tameness, minimality, and order minimality of structures. The book can be used as an introduction to model theory, but unlike standard texts, it does not require familiarity with abstract algebra. This book will also be of interest to mathematicians who know the technical aspects of the subject, but are not familiar with its history and philosophical background. ."@en ;
    schema:description "Chapter1. Mathematical Logic -- Chapter2. Logical Seeing -- Chapter3. What is a Number? -- Chapter4. Number Structures -- Chapter5. Points, Lines -- Chapter6. Set Theory -- Chapter7. Relations -- Chapter8. Definable Elements and Constants -- Chapter9. Minimal and Order-Minimal Structures -- Chapter10. Geometry of Definable Sets -- Chapter11. Where Do Structures Come From? -- Chapter12. Elementary Extensions and Symmetries -- Chapter13. Tame vs. Wild -- Chapter14. First-order Properties -- Chapter15. Symmetries and Logical Visibility One More Time. ."@en ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/5512335720> ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/5512335720#Series/springer_graduate_texts_in_philosophy> ; # Springer graduate texts in philosophy ;
    schema:isSimilarTo <http://worldcat.org/entity/work/data/5512335720#CreativeWork/> ;
    schema:name "Mathematical Logic On Numbers, Sets, Structures, and Symmetry"@en ;
    schema:numberOfPages "186" ;
    schema:productID "1086470426" ;
    schema:url <https://ezproxy.aub.edu.lb/login?url=https://doi.org/10.1007/978-3-319-97298-5> ;
    schema:workExample <http://dx.doi.org/10.1007/978-3-319-97298-5> ;
    schema:workExample <http://worldcat.org/isbn/9783319972985> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/1086470426> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/5512335720#Person/kossak_roman> # Roman Kossak
    a schema:Person ;
    schema:familyName "Kossak" ;
    schema:givenName "Roman" ;
    schema:name "Roman Kossak" ;
    .

<http://experiment.worldcat.org/entity/work/data/5512335720#Series/springer_graduate_texts_in_philosophy> # Springer graduate texts in philosophy ;
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/1086470426> ; # Mathematical Logic On Numbers, Sets, Structures, and Symmetry
    schema:name "Springer graduate texts in philosophy ;" ;
    schema:name "Springer Graduate Texts in Philosophy ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/5512335720#Topic/applications_of_mathematics> # Applications of Mathematics
    a schema:Intangible ;
    schema:name "Applications of Mathematics"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/5512335720#Topic/arithmetic_and_logic_structures> # Arithmetic and Logic Structures
    a schema:Intangible ;
    schema:name "Arithmetic and Logic Structures"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/5512335720#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/5512335720#Topic/mathematical_logic_and_foundations> # Mathematical Logic and Foundations
    a schema:Intangible ;
    schema:name "Mathematical Logic and Foundations"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/5512335720#Topic/mathematics_philosophy> # Mathematics--Philosophy
    a schema:Intangible ;
    schema:name "Mathematics--Philosophy"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/5512335720#Topic/philosophy_of_mathematics> # Philosophy of Mathematics
    a schema:Intangible ;
    schema:name "Philosophy of Mathematics"@en ;
    .

<http://worldcat.org/entity/work/data/5512335720#CreativeWork/>
    a schema:CreativeWork ;
    schema:description "Printed edition:" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/1086470426> ; # Mathematical Logic On Numbers, Sets, Structures, and Symmetry
    .

<http://worldcat.org/isbn/9783319972985>
    a schema:ProductModel ;
    schema:isbn "3319972987" ;
    schema:isbn "9783319972985" ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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