Coverart for item
The Resource Logic and Combinatorics

Logic and Combinatorics

Label
Logic and Combinatorics
Title
Logic and Combinatorics
Title variation
  • Contemporary Mathematics
  • Contemporary Mathematics, Volume 65
  • Logic and combinatorics: proceedings of the AMS-IMS-SIAM Joint Summer Research Conference held August 4-10, 1985
Creator
Contributor
Contributor
Subject
Genre
Language
eng
Member of
Cataloging source
LIP
http://bibfra.me/vocab/relation/contentprovider
  • WVsSTan6sso
  • z0xVE-5MPYo
  • 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
AMS-IMS-SIAM 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
  • AMS-IMS-SIAM 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
Instantiates
Publication
Note
  • Description based upon print version of record
  • ""Non Standard Universes with Strong Embeddings, and Their Finite Approximations""""Unprovable Theorems and Fast-Growing 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 Ramsey-type 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
Publication
Note
  • Description based upon print version of record
  • ""Non Standard Universes with Strong Embeddings, and Their Finite Approximations""""Unprovable Theorems and Fast-Growing 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 Ramsey-type 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

Library Locations

    • Curtis Laws Wilson LibraryBorrow it
      400 West 14th Street, Rolla, MO, 65409, US
      37.955220 -91.772210
Processing Feedback ...