The Resource Logic and Combinatorics
Logic and Combinatorics
Resource Information
The item Logic and Combinatorics represents a specific, individual, material embodiment of a distinct intellectual or artistic creation found in Missouri University of Science & Technology Library.This item is available to borrow from 1 library branch.
Resource Information
The item Logic and Combinatorics represents a specific, individual, material embodiment of a distinct intellectual or artistic creation found in Missouri University of Science & Technology Library.
This item is available to borrow from 1 library branch.
 Language
 eng
 Extent
 1 online resource (408 p.)
 Note

 Description based upon print version of record
 ""Non Standard Universes with Strong Embeddings, and Their Finite Approximations""""Unprovable Theorems and FastGrowing Functions""
 Contents

 ""Table of Contents""; ""Preface""; ""Dilators, Generalized Goodstein Sequences, Independence Results: A Survey""; ""Some Uses of Dilators in Combinatorial Problems, Part I""; ""Cross Products of Souslin Trees""; ""Ergodic Ramsey Theory""; ""Ultrafilters Related to Hindman's Finite Unions Theorem and its Extensions""; ""Logical Analysis of Some Theorems of Combinatorics and Topological Dynamics""; ""A Remark on Partition Relations for Infinite Ordinals, With an Application to Finite Combinatorics""; ""A Summary of ""On Ramseytype Theorems and Their Provability in Weak Formal Systems""""
 ""Provably Computable Functions and the Fast Growing Hierarcy""""Rigid Borel Sets and Better Quasiorder Theory""; ""Some Problems on Finite and Infinite Graphs""; ""The Metamathematics of the Graph Minor Theorem""; ""Summable Ultrafilters and Finite Sums""; ""On Undecidability of the Weakened Kruskal Theorem""; ""Well Quasi Orderings, Long Games, and a Combinatorial Study of Undecidability""; ""On the Theory of Quasi Ordinal Diagrams""; ""Improved Bounds to the Length of Proofs of Finitistic Consistency Statements""
 Isbn
 9780821876558
 Label
 Logic and Combinatorics
 Title
 Logic and Combinatorics
 Title variation

 Contemporary Mathematics
 Contemporary Mathematics, Volume 65
 Logic and combinatorics: proceedings of the AMSIMSSIAM Joint Summer Research Conference held August 410, 1985
 Subject

 Combinatorial analysis  Congresses
 Conference papers and proceedings
 Electronic books
 Logic, Symbolic and mathematical
 Logic, Symbolic and mathematical  Congresses
 Logic, Symbolic and mathematical  Congresses
 Mathematical Theory
 Mathematics
 Physical Sciences & Mathematics
 Combinatorial analysis
 Combinatorial analysis  Congresses
 Language
 eng
 Cataloging source
 LIP
 http://bibfra.me/vocab/relation/contentprovider

 WVsSTan6sso
 z0xVE5MPYo
 pDIp6thaa8Q
 http://bibfra.me/vocab/relation/corporateauthor
 TywFY4478hA
 http://library.link/vocab/creatorName
 Simpson, Stephen G
 Dewey number
 511.3
 Index
 no index present
 Language note
 English
 LC call number
 QA9.A1  A47 1985eb
 Literary form
 non fiction
 Nature of contents
 dictionaries
 http://bibfra.me/vocab/lite/organizationName
 AMSIMSSIAM Joint Summer Research Conference in the Mathematical Sciences on Applications of Mathematical Logic to Finite Combinatorics
 http://library.link/vocab/relatedWorkOrContributorName

 Simpson, Stephen G
 American Mathematical Society
 Institute of Mathematical Statistics
 Society for Industrial and Applied Mathematics
 AMSIMSSIAM Joint Summer Research Conference in the Mathematical Sciences on Applications of Mathematical Logic to Finite Combinatorics
 Series statement
 Contemporary Mathematics
 Series volume
 v.65
 http://library.link/vocab/subjectName

 Logic, Symbolic and mathematical
 Combinatorial analysis
 Combinatorial analysis  Congresses
 Logic, Symbolic and mathematical  Congresses
 Mathematics
 Physical Sciences & Mathematics
 Mathematical Theory
 Combinatorial analysis
 Logic, Symbolic and mathematical
 Label
 Logic and Combinatorics
 Note

 Description based upon print version of record
 ""Non Standard Universes with Strong Embeddings, and Their Finite Approximations""""Unprovable Theorems and FastGrowing Functions""
 Carrier category
 online resource
 Carrier category code

 cr
 Content category
 text
 Content type code

 txt
 Contents

 ""Table of Contents""; ""Preface""; ""Dilators, Generalized Goodstein Sequences, Independence Results: A Survey""; ""Some Uses of Dilators in Combinatorial Problems, Part I""; ""Cross Products of Souslin Trees""; ""Ergodic Ramsey Theory""; ""Ultrafilters Related to Hindman's Finite Unions Theorem and its Extensions""; ""Logical Analysis of Some Theorems of Combinatorics and Topological Dynamics""; ""A Remark on Partition Relations for Infinite Ordinals, With an Application to Finite Combinatorics""; ""A Summary of ""On Ramseytype Theorems and Their Provability in Weak Formal Systems""""
 ""Provably Computable Functions and the Fast Growing Hierarcy""""Rigid Borel Sets and Better Quasiorder Theory""; ""Some Problems on Finite and Infinite Graphs""; ""The Metamathematics of the Graph Minor Theorem""; ""Summable Ultrafilters and Finite Sums""; ""On Undecidability of the Weakened Kruskal Theorem""; ""Well Quasi Orderings, Long Games, and a Combinatorial Study of Undecidability""; ""On the Theory of Quasi Ordinal Diagrams""; ""Improved Bounds to the Length of Proofs of Finitistic Consistency Statements""
 Control code
 990586121
 Dimensions
 unknown
 Extent
 1 online resource (408 p.)
 Form of item
 online
 Isbn
 9780821876558
 Media category
 computer
 Media type code

 c
 Specific material designation
 remote
 System control number
 (OCoLC)990586121
 Label
 Logic and Combinatorics
 Note

 Description based upon print version of record
 ""Non Standard Universes with Strong Embeddings, and Their Finite Approximations""""Unprovable Theorems and FastGrowing Functions""
 Carrier category
 online resource
 Carrier category code

 cr
 Content category
 text
 Content type code

 txt
 Contents

 ""Table of Contents""; ""Preface""; ""Dilators, Generalized Goodstein Sequences, Independence Results: A Survey""; ""Some Uses of Dilators in Combinatorial Problems, Part I""; ""Cross Products of Souslin Trees""; ""Ergodic Ramsey Theory""; ""Ultrafilters Related to Hindman's Finite Unions Theorem and its Extensions""; ""Logical Analysis of Some Theorems of Combinatorics and Topological Dynamics""; ""A Remark on Partition Relations for Infinite Ordinals, With an Application to Finite Combinatorics""; ""A Summary of ""On Ramseytype Theorems and Their Provability in Weak Formal Systems""""
 ""Provably Computable Functions and the Fast Growing Hierarcy""""Rigid Borel Sets and Better Quasiorder Theory""; ""Some Problems on Finite and Infinite Graphs""; ""The Metamathematics of the Graph Minor Theorem""; ""Summable Ultrafilters and Finite Sums""; ""On Undecidability of the Weakened Kruskal Theorem""; ""Well Quasi Orderings, Long Games, and a Combinatorial Study of Undecidability""; ""On the Theory of Quasi Ordinal Diagrams""; ""Improved Bounds to the Length of Proofs of Finitistic Consistency Statements""
 Control code
 990586121
 Dimensions
 unknown
 Extent
 1 online resource (408 p.)
 Form of item
 online
 Isbn
 9780821876558
 Media category
 computer
 Media type code

 c
 Specific material designation
 remote
 System control number
 (OCoLC)990586121
Subject
 Combinatorial analysis  Congresses
 Conference papers and proceedings
 Electronic books
 Logic, Symbolic and mathematical
 Logic, Symbolic and mathematical  Congresses
 Logic, Symbolic and mathematical  Congresses
 Mathematical Theory
 Mathematics
 Physical Sciences & Mathematics
 Combinatorial analysis
 Combinatorial analysis  Congresses
Genre
Member of
Library Links
Embed
Settings
Select options that apply then copy and paste the RDF/HTML data fragment to include in your application
Embed this data in a secure (HTTPS) page:
Layout options:
Include data citation:
<div class="citation" vocab="http://schema.org/"><i class="fa faexternallinksquare fafw"></i> Data from <span resource="http://link.library.mst.edu/portal/LogicandCombinatorics/X7eNfMvHOW4/" typeof="Book http://bibfra.me/vocab/lite/Item"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.library.mst.edu/portal/LogicandCombinatorics/X7eNfMvHOW4/">Logic and Combinatorics</a></span>  <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.library.mst.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.library.mst.edu/">Missouri University of Science & Technology Library</a></span></span></span></span></div>
Note: Adjust the width and height settings defined in the RDF/HTML code fragment to best match your requirements
Preview
Cite Data  Experimental
Data Citation of the Item Logic and Combinatorics
Copy and paste the following RDF/HTML data fragment to cite this resource
<div class="citation" vocab="http://schema.org/"><i class="fa faexternallinksquare fafw"></i> Data from <span resource="http://link.library.mst.edu/portal/LogicandCombinatorics/X7eNfMvHOW4/" typeof="Book http://bibfra.me/vocab/lite/Item"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.library.mst.edu/portal/LogicandCombinatorics/X7eNfMvHOW4/">Logic and Combinatorics</a></span>  <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.library.mst.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.library.mst.edu/">Missouri University of Science & Technology Library</a></span></span></span></span></div>