Hostname: page-component-7b7567c8c-7pwfn Total loading time: 0 Render date: 2026-11-12T10:41:46.127Z Has data issue: false hasContentIssue false

INFINITE COMBINATORICS PLAIN AND SIMPLE

Published online by Cambridge University Press:  23 October 2018

DÁNIEL T. SOUKUP
Affiliation:
KURT GÖDEL RESEARCH CENTER FOR MATHEMATICAL LOGIC UNIVERSITÄT WIEN, WIEN, AUSTRIAE-mail: daniel.soukup@univie.ac.atURL: http://www.logic.univie.ac.at/∼soukupd73/
LAJOS SOUKUP
Affiliation:
HUNGARIAN ACADEMY OF SCIENCES ALFRÉD RÉNYI INSTITUTE OF MATHEMATICS, BUDAPEST, HUNGARYE-mail: soukup@renyi.huURL: http://www.renyi.hu/∼soukup
Rights & Permissions [Opens in a new window]

Abstract

Core share and HTML view are not available for this content. However, as you have access to this content, a full PDF is available via the 'Save PDF' action button.

We explore a general method based on trees of elementary submodels in order to present highly simplified proofs to numerous results in infinite combinatorics. While countable elementary submodels have been employed in such settings already, we significantly broaden this framework by developing the corresponding technique for countably closed models of size continuum. The applications range from various theorems on paradoxical decompositions of the plane, to coloring sparse set systems, results on graph chromatic number and constructions from point-set topology. Our main purpose is to demonstrate the ease and wide applicability of this method in a form accessible to anyone with a basic background in set theory and logic.

Information

Type
Articles
Copyright
Copyright © The Association for Symbolic Logic 2018