TREE FORCING AND DEFINABLE MAXIMAL INDEPENDENT SETS IN HYPERGRAPHS

DOI10.1017/JSL.2022.36OpenAlexW3084859867MaRDI QIDQ5052007FDOQ5052007

Jonathan Schilhan

Publication date: 18 November 2022

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

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

zbMATH Keywords

forcingdefinabilityultrafilterscardinal characteristicsdescriptive set theoryconstructible universesplitting forcing

Mathematics Subject Classification ID

Hypergraphs (05C65) Descriptive set theory (03E15) Consistency and independence results (03E35) Cardinal characteristics of the continuum (03E17) Inner models, including constructibility, ordinal definability, and core models (03E45)

Cites Work

• Title not available (Why is that?)
• Consistency of the Continuum Hypothesis. (AM-3)
• Infinite combinatorics and definability
• Co-analytic mad families and definable wellorders
• Iterated perfect-set forcing
• Mad Families Constructed from Perfect Almost Disjoint Families
• Projective wellorders and mad families with large continuum
• Complexity of reals in inner models of set theory
• Coanalytic ultrafilter bases
• Title not available (Why is that?)
• Un théorème de séparabilité pour les produits topologiques
• Some additive properties of sets of real numbers
• Analytic countably splitting families
• Splitting squares
• Ramsey and freeness properties of Polish planes
• Definable maximal discrete sets in forcing extensions
• Mutual generics and perfect free subsets
• Selection Theorems for G δ -Valued Multifunctions
• Definable maximal independent families
• Definable towers
• A CO-ANALYTIC COHEN-INDESTRUCTIBLE MAXIMAL COFINITARY GROUP
• Transfinite inductions producing coanalytic sets
• A co-analytic maximal set of orthogonal measures
• Antichains of perfect and splitting trees
• Hamel bases and well–ordering the continuum
• THE SELECTOR PRINCIPLE FOR ANALYTIC EQUIVALENCE RELATIONS DOES NOT IMPLY THE EXISTENCE OF AN $ A_2$ WELL ORDERING OF THE CONTINUUM
• Lusin Sets and Well Ordering the Continuum
• A Sacks indestructible co-analytic maximal eventually different family
• TREE FORCING AND DEFINABLE MAXIMAL INDEPENDENT SETS IN HYPERGRAPHS
• More on trees and Cohen reals

Cited In (2)

• On slow minimal reals I
• TREE FORCING AND DEFINABLE MAXIMAL INDEPENDENT SETS IN HYPERGRAPHS

This page was built for publication: TREE FORCING AND DEFINABLE MAXIMAL INDEPENDENT SETS IN HYPERGRAPHS

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