skip to content
An introduction to the technique of formative processes in set theory Preview this item
ClosePreview this item
Checking...

An introduction to the technique of formative processes in set theory

Author: Domenico Cantone; Pietro Ursino
Publisher: Cham, Switzerland : Springer, 2018.
Edition/Format:   eBook : Document : EnglishView all editions and formats
Summary:
This book presents an intuitive picture-oriented approach to the formative processes technique and to its applications. In the first part the authors introduce basic set-theoretic terminology and properties, the decision problem in set theory, and formative processes. The second part of the book is devoted to applications of the technique of formative processes to decision problems. All chapters contain exercises  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

Genre/Form: Electronic books
Additional Physical Format: Print version:
Cantone, Domenico.
Introduction to the technique of formative processes in set theory.
Cham, Switzerland : Springer, 2018
(OCoLC)1017577049
Material Type: Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Domenico Cantone; Pietro Ursino
ISBN: 9783319747781 3319747789
OCLC Number: 1023575344
Description: 1 online resource
Contents: Intro; Preface; Contents; I Theoretical Apparatus; 1 Basics of Set Theory; Exercise; 2 The Decision Problem in Set Theory; 2.1 The Theory S; 2.1.1 Syntax and Semantics of S; 2.1.2 The Decision Problem for Subtheories of S; 2.1.3 Satisfiability by Partitions; 2.2 Relating Partitions; 2.2.1 Simulations; 2.2.2 Imitations; 2.3 A Simple Case Study: The Theory BST; 2.3.1 Complexity Issues; 2.4 Expressiveness Results; 2.4.1 Expressing the Singleton Operator; 2.4.2 Expressing Hereditarily Finite Sets; 2.4.3 Expressing Terms of the Form P*({x1 ..., xk}). 2.4.4 Expressing Two Relations about Cardinalities2.5 Two Applications; 2.5.1 Undecidability of MLSuC+; 2.5.2 Rank Dichotomy; Exercises; 3 Formative Processes; 3.1 A Gentle Introduction; 3.1.1 Constructing a Formative Process; 3.1.2 Syllogistic Boards; 3.1.3 Special Events and Shadow Processes; 3.1.4 Applications to the Decision Problem of MLSP-like Theories; 3.2 Basics on Syllogistic Boards; 3.3 Formative Processes and Basic Events; 3.4 Shadow Processes; Exercises; II Applications; 4 Decidability of MLSSP; 4.1 Highlights of a Decision Test for MLSSP. 4.2 Shadow Processes and the Decidability of MLSSP4.2.1 Salient Steps and Shadow Process; 4.2.2 Procedure Imitate: The Algorithm; 4.2.3 Estimation of â#x84;#x93;; 4.2.4 Procedure Imitate: The Code; 4.2.5 Meaning of Main Claim- and Assert-Statements Occurring Inside imitate; 4.2.6 Correctness of Procedure imitate; 4.2.7 Rough Assessment of the Complexity of imitate; 4.2.8 Decidability of MLSSP; Exercises; 5 Decidability of MLSSPF; 5.1 Highlights of a Decision Test for MLSSPF; 5.2 Historical Profile of an Infinite Block; 5.3 Infinite and Potentially Infinite Venn Regions; 5.3.1 Pumping Paths. 5.3.2 Local Trashes5.4 Shadow Model and Potentially Infinite Venn Regions; 5.4.1 Pumping Chains; 5.5 A Decision Procedure for MLSSPF; 5.5.1 Soundness of the Procedure SatifisfiabilityTestMLSSPF; 5.5.2 Completeness of the Procedure SatifisfiabilityTestMLSSPF; 5.6 Extending a Formative Process with Respect to a Sequence of Pumping Chains; 5.7 Strong Rank Dichotomicity of MLSP; Exercises; References; Acronyms; Operators and Common Symbols; Index.
Responsibility: Domenico Cantone, Pietro Ursino.

Abstract:

This book presents an intuitive picture-oriented approach to the formative processes technique and to its applications.  Read more...

Reviews

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

Tags

Be the first.

Similar Items

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/1023575344> # An introduction to the technique of formative processes in set theory
    a schema:MediaObject, schema:Book, schema:CreativeWork ;
    library:oclcnum "1023575344" ;
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/sz> ;
    schema:about <http://dewey.info/class/511.322/e23/> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/4769028742#Topic/mathematics_general> ; # MATHEMATICS--General
    schema:about <http://experiment.worldcat.org/entity/work/data/4769028742#Topic/computable_functions> ; # Computable functions
    schema:about <http://experiment.worldcat.org/entity/work/data/4769028742#Topic/set_theory> ; # Set theory
    schema:author <http://experiment.worldcat.org/entity/work/data/4769028742#Person/ursino_pietro> ; # Pietro Ursino
    schema:author <http://experiment.worldcat.org/entity/work/data/4769028742#Person/cantone_domenico> ; # Domenico Cantone
    schema:bookFormat schema:EBook ;
    schema:datePublished "2018" ;
    schema:description "This book presents an intuitive picture-oriented approach to the formative processes technique and to its applications. In the first part the authors introduce basic set-theoretic terminology and properties, the decision problem in set theory, and formative processes. The second part of the book is devoted to applications of the technique of formative processes to decision problems. All chapters contain exercises and the book is appropriate for researchers and graduate students in the area of computer science logic."@en ;
    schema:description "Intro; Preface; Contents; I Theoretical Apparatus; 1 Basics of Set Theory; Exercise; 2 The Decision Problem in Set Theory; 2.1 The Theory S; 2.1.1 Syntax and Semantics of S; 2.1.2 The Decision Problem for Subtheories of S; 2.1.3 Satisfiability by Partitions; 2.2 Relating Partitions; 2.2.1 Simulations; 2.2.2 Imitations; 2.3 A Simple Case Study: The Theory BST; 2.3.1 Complexity Issues; 2.4 Expressiveness Results; 2.4.1 Expressing the Singleton Operator; 2.4.2 Expressing Hereditarily Finite Sets; 2.4.3 Expressing Terms of the Form P*({x1 ..., xk})."@en ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/4769028742> ;
    schema:genre "Electronic books"@en ;
    schema:inLanguage "en" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/1017577049> ;
    schema:name "An introduction to the technique of formative processes in set theory"@en ;
    schema:productID "1023575344" ;
    schema:url <http://VH7QX3XE2P.search.serialssolutions.com/?V=1.0&L=VH7QX3XE2P&S=JCs&C=TC0001986411&T=marc&tab=BOOKS> ;
    schema:url <http://www.vlebooks.com/vleweb/product/openreader?id=none&isbn=9783319747781> ;
    schema:url <https://link.springer.com/book/10.1007/978-3-319-74778-1> ;
    schema:url <https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=1711533> ;
    schema:url <https://link.springer.com/book/10.1007/978-3-319-74777-4> ;
    schema:url <https://public.ebookcentral.proquest.com/choice/publicfullrecord.aspx?p=5301798> ;
    schema:url <https://doi.org/10.1007/978-3-319-74778-1> ;
    schema:workExample <http://worldcat.org/isbn/9783319747781> ;
    schema:workExample <http://dx.doi.org/10.1007/978-3-319-74778-1> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/1023575344> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/4769028742#Person/cantone_domenico> # Domenico Cantone
    a schema:Person ;
    schema:familyName "Cantone" ;
    schema:givenName "Domenico" ;
    schema:name "Domenico Cantone" ;
    .

<http://experiment.worldcat.org/entity/work/data/4769028742#Person/ursino_pietro> # Pietro Ursino
    a schema:Person ;
    schema:familyName "Ursino" ;
    schema:givenName "Pietro" ;
    schema:name "Pietro Ursino" ;
    .

<http://experiment.worldcat.org/entity/work/data/4769028742#Topic/computable_functions> # Computable functions
    a schema:Intangible ;
    schema:name "Computable functions"@en ;
    .

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

<http://worldcat.org/isbn/9783319747781>
    a schema:ProductModel ;
    schema:isbn "3319747789" ;
    schema:isbn "9783319747781" ;
    .

<http://www.worldcat.org/oclc/1017577049>
    a schema:CreativeWork ;
    rdfs:label "Introduction to the technique of formative processes in set theory." ;
    schema:description "Print version:" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/1023575344> ; # An introduction to the technique of formative processes in set theory
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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