Elementary submodels in infinite combinatorics

DOI10.1016/J.DISC.2011.01.025MaRDI QIDQ2275385zbMATH OpenOpenAlexFDO

Authors Lajos Soukup

Publication date 8 August 2011

Published in Discrete Mathematics (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1007.4309

zbMATH Keywords

\(\varDelta \)-systembond-faithful decompositioncycle decompositiondecompositiondouble cover conjectureelementary submodelsFodor's lemmafree subsetinfinite graphspartition theorempressing down lemma

Mathematics Subject Classification ID

Infinite graphs (05C63) Edge subsets with special properties (factorization, matching, partitioning, covering and packing, etc.) (05C70)

Abstract: The usage of elementary submodels is a simple but powerful method to prove theorems, or to simplify proofs in infinite combinatorics. First we introduce all the necessary concepts of logic, then we prove classical theorems using elementary submodels. We also present a new proof of Nash-Williams's theorem on cycle-decomposition of graphs, and finally we improve a decomposition theorem of Laviolette concerning bond-faithful decompositions of graphs.

Recommendations

• Infinite combinatorics plain and simple
• The use of elementary substructures in combinatorics
• scientific article; zbMATH DE number 863511
• The Lindelöf number of a power; an introduction to the use of elementary submodels in general topology
• scientific article; zbMATH DE number 488248

Cites work

• Applications of elementary submodels in general topology
• Cardinal Arithmetic
• Decomposition of Graphs Into Closed and Endless Chains
• Decompositions of infinite graphs. I: Bond-faithful decompositions
• Forcing constructions for uncountably chromatic graphs
• scientific article; zbMATH DE number 4139731 (Why is no real title available?)
• scientific article; zbMATH DE number 734993 (Why is no real title available?)
• scientific article; zbMATH DE number 1097274 (Why is no real title available?)
• scientific article; zbMATH DE number 887756 (Why is no real title available?)
• scientific article; zbMATH DE number 1432797 (Why is no real title available?)
• Set Theory
• Set theory. An introduction to independence proofs

Cited in

(18)

• The use of elementary substructures in combinatorics
• Decompositions of edge-coloured infinite complete graphs into monochromatic paths. II
• A Cantor-Bernstein-type theorem for spanning trees in infinite graphs
• Maximum deconstructibility in module categories
• Reducing the dichromatic number via cycle reversions in infinite digraphs
• \(T\)-joins in infinite graphs
• The Lovász-Cherkassky theorem in countable graphs
• On the Number of Elementary Submodels of an Unsuperstable Homogeneous Structure
• Infinite combinatorics plain and simple
• Some combinatorial principles defined in terms of elementary submodels
• Disjoint dijoins for classes of dicuts in finite and infinite digraphs
• On partitioning the edges of an infinite digraph into directed cycles
• Combinatorics for the East model
• The uniform convergence topology on separable subsets
• The Lovász-Cherkassky theorem in infinite graphs
• The flat cover conjecture for monoid acts
• Circuit-partition of infinite matroids
• Quickly proving Diestel's normal spanning tree criterion

This page was built for publication: Elementary submodels in infinite combinatorics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2275385)