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 author Kossak
Publisher: Cham, Switzerland : Springer, [2018]
Series: Springer graduate texts in philosophy, v. 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

Genre/Form: Electronic books
Additional Physical Format: (OCoLC)1042353072
Material Type: Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Roman author Kossak
ISBN: 9783319972985 3319972987
OCLC Number: 1061050309
Description: 1 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, v. 3.
Responsibility: 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  Read more...

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/1061050309> # Mathematical logic : on numbers, sets, structures, and symmetry
    a schema:Book, schema:CreativeWork, schema:MediaObject ;
    library:oclcnum "1061050309" ;
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/sz> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/5512335720#Topic/mathematics_history_&_philosophy> ; # Mathematics--History & Philosophy
    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/mathematics_applied> ; # Mathematics--Applied
    schema:about <http://dewey.info/class/511.3/e23/> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/5512335720#Topic/mathematical_foundations> ; # Mathematical foundations
    schema:about <http://experiment.worldcat.org/entity/work/data/5512335720#Topic/philosophy_logic> ; # Philosophy: logic
    schema:about <http://experiment.worldcat.org/entity/work/data/5512335720#Topic/mathematics_logic> ; # Mathematics--Logic
    schema:about <http://experiment.worldcat.org/entity/work/data/5512335720#Topic/applied_mathematics> ; # Applied mathematics
    schema:about <http://experiment.worldcat.org/entity/work/data/5512335720#Topic/algorithms_&_data_structures> ; # Algorithms & data structures
    schema:about <http://experiment.worldcat.org/entity/work/data/5512335720#Topic/mathematics_philosophy> ; # Mathematics--Philosophy
    schema:about <http://experiment.worldcat.org/entity/work/data/5512335720#Topic/computers_logic_design> ; # Computers--Logic Design
    schema:about <http://experiment.worldcat.org/entity/work/data/5512335720#Topic/philosophy_of_mathematics> ; # Philosophy of mathematics
    schema:bookFormat schema:EBook ;
    schema:creator <http://experiment.worldcat.org/entity/work/data/5512335720#Person/kossak_roman_author> ; # Roman author 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:exampleOfWork <http://worldcat.org/entity/work/id/5512335720> ;
    schema:genre "Electronic books"@en ;
    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://www.worldcat.org/oclc/1042353072> ;
    schema:name "Mathematical logic : on numbers, sets, structures, and symmetry"@en ;
    schema:productID "1061050309" ;
    schema:url <http://link.springer.com/10.1007/978-3-319-97298-5> ;
    schema:url <https://doi.org/10.1007/978-3-319-97298-5> ;
    schema:workExample <http://worldcat.org/isbn/9783319972985> ;
    umbel:isLike <http://bnb.data.bl.uk/id/resource/GBB8L1459> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/1061050309> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/5512335720#Person/kossak_roman_author> # Roman author Kossak
    a schema:Person ;
    schema:familyName "Kossak" ;
    schema:givenName "Roman author" ;
    schema:name "Roman author 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/1061050309> ; # Mathematical logic : on numbers, sets, structures, and symmetry
    schema:name "Springer graduate texts in philosophy ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/5512335720#Topic/algorithms_&_data_structures> # Algorithms & data structures
    a schema:Intangible ;
    schema:name "Algorithms & data structures"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/5512335720#Topic/applied_mathematics> # Applied mathematics
    a schema:Intangible ;
    schema:name "Applied mathematics"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/5512335720#Topic/computers_logic_design> # Computers--Logic Design
    a schema:Intangible ;
    schema:name "Computers--Logic Design"@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_foundations> # Mathematical foundations
    a schema:Intangible ;
    schema:name "Mathematical foundations"@en ;
    .

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

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

<http://experiment.worldcat.org/entity/work/data/5512335720#Topic/mathematics_logic> # Mathematics--Logic
    a schema:Intangible ;
    schema:name "Mathematics--Logic"@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_logic> # Philosophy: logic
    a schema:Intangible ;
    schema:name "Philosophy: logic"@en ;
    schema:name "Philosophy--Logic"@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://link.springer.com/10.1007/978-3-319-97298-5>
    rdfs:comment "from Springer" ;
    rdfs:comment "(Unlimited Concurrent Users)" ;
    .

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

<http://www.worldcat.org/oclc/1042353072>
    a schema:CreativeWork ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/1061050309> ; # Mathematical logic : on numbers, sets, structures, and symmetry
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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