Book contents
- Frontmatter
- Preface
- Plenary sessions
- Special sessions
- Contents
- The Number of Path-Components of a Compact Subset of Rn
- Intervals without Critical Triples
- Beyond Gödel's Theorem: Turing Nonrigidity Revisited
- Types and Indescernibles in Finite Models
- Model Theory of Modules
- Noninterpretability of Infinite Linear Orders
- Combinatorial Principles from Adding Cohen Reals
- Extensions of models of PV
- Convergence Laws for Random Graphs
- V=L and Maximize
- Towards a Categorical Foundation of Mathematics
- Strongly Minimal Sets and Geometry
- Computationally-Sound Proofs
- Lambek Calculus and Formal Languages
- Zil'ber's Trichotomy and o-minimal Structures
- The Higher Infinite in Proof Theory
- There May Be No Nowhere Dense Ultrafilter
- Towards Recursive Model Theory
- Accessible Segments of the Fast Growing Hierarchy
- Author Index
- References
Combinatorial Principles from Adding Cohen Reals
Published online by Cambridge University Press: 24 March 2017
Book contents
- Frontmatter
- Preface
- Plenary sessions
- Special sessions
- Contents
- The Number of Path-Components of a Compact Subset of Rn
- Intervals without Critical Triples
- Beyond Gödel's Theorem: Turing Nonrigidity Revisited
- Types and Indescernibles in Finite Models
- Model Theory of Modules
- Noninterpretability of Infinite Linear Orders
- Combinatorial Principles from Adding Cohen Reals
- Extensions of models of PV
- Convergence Laws for Random Graphs
- V=L and Maximize
- Towards a Categorical Foundation of Mathematics
- Strongly Minimal Sets and Geometry
- Computationally-Sound Proofs
- Lambek Calculus and Formal Languages
- Zil'ber's Trichotomy and o-minimal Structures
- The Higher Infinite in Proof Theory
- There May Be No Nowhere Dense Ultrafilter
- Towards Recursive Model Theory
- Accessible Segments of the Fast Growing Hierarchy
- Author Index
- References
Summary
A summary is not available for this content so a preview has been provided. Please use the Get access link above for information on how to access this content.
- Type
- Chapter
- Information
- Logic Colloquium '95 , pp. 79 - 103Publisher: Cambridge University PressPrint publication year: 2017
References
Remarks on superatomic Boolean algebras, Ann. Pure Appl. Logic, 33 (1987), no. 2, 109–129.Google Scholar
Large compact separable spaces may all contain βN, Proc. Amer. Math. Soc. 109(1990) no.nl. 275–279.Google Scholar
On initially k-compact spaces, In: Rings of continuous functions, ed.
Lecture Notes in pure and applied Mathematics, 1985., v.95, Marcel Dekker, Inc, New York and Basel, 103–108.
Intersection properties of open sets, Topology and its Application, 19(1985), 201–209.Google Scholar
Cardinal Junctions in topology - ten years later, Mathematical Centre Tracts 123, Amsterdam, 1980.
How to fore? a countably tight, initially ω1 compact but non-compact space?
Topology and its Applications
69(1996), no 3, 227–250.Google Scholar
Intersection properties of open sets, II. to appear in the Proceedings of the Tenth Summer Conference in General Topology and Applications, TU Delft, Netherlands.
What makes a space have large weight?
Topology and its Applications
57(1994), no 2-3, 271–285.Google Scholar
, Two consistency results concerning thin-tall Boolean algebras
Algebra Universal
20(1985) no.2, 135–142.Google Scholar
, Set Theory, North-Holland, New York, 1980.
, Inaccessibility Properties of Cardinals, Doctoral Dissertation, Stanford, 1968.
A characterization of compact scattered spaces through chain limits (chain compact spaces). Proceedings of TOPO 72, Pittsburg 1972, Lecture Notes 378, 288–297, Berlin
1974.
Height and width of superatomic Boolean algebras, Proc. Amer. Math. Soc. 94(1985), no 1, 9–14.Google Scholar
, Versions of Martin's Axiom, in Handbook of Set-Theoretic Topology, ed. and
Elseview Science Publisher, B.V.
1984.