Near coherence of filters. I: Cofinal equivalence of models of arithmetic

DOI10.1305/ndjfl/1093636772zbMath0622.03040OpenAlexW2024868415MaRDI QIDQ1090677

Andreas Blass

Publication date: 1986

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1305/ndjfl/1093636772

zbMATH Keywords

dominating numbercofinalitytall modelsnear coherence of filterscofinally equivalentmodels of full arithmeticshort models

Mathematics Subject Classification ID

Nonstandard models of arithmetic (03H15) Models of arithmetic and set theory (03C62)

Related Items

The Glicksberg theorem for Tychonoff extension properties ⋮ Connectedness properties of the Higson corona of the half line ⋮ On the cofinality of ultrapowers ⋮ Selective covering properties of product spaces ⋮ Mathias Forcing which does not Add Dominating Reals ⋮ Composants of the Stone-Čech remainder of the reals ⋮ A simple \(P_{\aleph_1}\)-point and a simple \(P_{\aleph_2}\)-point ⋮ Exactly two and exactly three near-coherence classes ⋮ Michael spaces and ultrafilters ⋮ -ULTRAFILTERS IN THE RATIONAL PERFECT SET MODEL ⋮ Minmax bornologies ⋮ Special ultrafilters and cofinal subsets of \(({}^\omega \omega, <^*)\) ⋮ On embedding certain partial orders into the P-points under Rudin-Keisler and Tukey reducibility ⋮ Groupwise density and related cardinals ⋮ A continuum without non-block points ⋮ Additivity properties of topological diagonalizations ⋮ Finite powers and products of Menger sets ⋮ On the length of chains of proper subgroups covering a topological group ⋮ Continua in \(R^*\) ⋮ Equivalence of Families of Functions on the Natural Numbers ⋮ Sub-arithmetical ultrapowers: A survey ⋮ There may be infinitely many near-coherence classes underu< ∂ ⋮ MATHIAS FORCING AND COMBINATORIAL COVERING PROPERTIES OF FILTERS ⋮ TOWERS IN FILTERS, CARDINAL INVARIANTS, AND LUZIN TYPE FAMILIES ⋮ Classifying Sets of Measure Zero with Respect to their Open Covers ⋮ Homogeneous sets from several ultrafilters ⋮ The shore point existence problem is equivalent to the non-block point existence problem ⋮ The Rudin-Blass ordering of ultrafilters ⋮ Filter games and pathological subgroups of a countable product of lines ⋮ Ultrafilters on 𝜔-their ideals and their cardinal characteristics

This page was built for publication: Near coherence of filters. I: Cofinal equivalence of models of arithmetic