Terminal Notions

DOI10.2307/421119MaRDI QIDQ4946841zbMATH OpenOpenAlexFDO

Authors Jindřich Zapletal

Publication date 4 June 2000

Published in The Bulletin of Symbolic Logic (Search for Journal in Brave)

Full work available at URL http://www.math.ucla.edu/~asl/bsl/0504-toc.htm

zbMATH Keywords

large cardinalsLusin setsRamsey ultrafiltersSouslin trees

Mathematics Subject Classification ID

Other classical set theory (including functions, relations, and set algebra) (03E20) Large cardinals (03E55)

Review text

Als terminale Begriffe werden solche Begriffe bezeichnet, die nicht natürlicherweise in spezifischere Begriffe teilbar sind. In einer formalisierten Sprache ist ein Begriff eine Formel mit einer freien Variablen. Ein Begriff \(\varphi(x)\) ist terminal, wenn für jede natürliche Eigenschaft \(\Psi(x)\) gilt \[ \forall x,y\bigl(\Phi(x) \wedge\Phi(y) \bigr)\to\bigl( \Psi(x) \leftrightarrow \Psi(y)\bigr) . \] Damit ist die Terminalität eines Begriffes davon abhängig, welche Eigenschaften wir als natürliche bezeichnen. In dem Artikel werden einige Beispiele betrachtet und gezeigt, bei welchen Natürlichkeitsbegriffen Ramsey-Ultrafilter, einige Sorten von Lusin-Mengen [\textit{S. Todorcevic}, ``Partition problems in topology, Am. Math. Soc., Providence, Contemp. Math. 84 (1989; Zbl 0659.54001)] und einige Sorten von Souslin-Bäumen [\textit{K. J. Devlin} and \textit{H. Johnsbraten}, ``The Souslin problem, Lect. Notes Math. 405 (1974; Zbl 0289.02043)] terminal sind. Bei allen Überlegungen ist die Existenz grosser Kardinalzahlen wesentlich.

Recommendations

• Terminal notions in set theory
• Développements terminaux des graphes infinis I. Arbres maximaux coterminaux
• scientific article; zbMATH DE number 991590
• Développements terminaux des graphes infinis II. Degré de développement terminal
• SEMI-TERMINAL OBJECTS, INDISCRETENESS AND INITIALITY

Cites work

• A \({\Delta{}}^ 2_ 2\) well-order of the reals and incompactness of \(L(Q^{MM})\)
• Forcing with filters and complete combinatorics
• Large cardinals and definable counterexamples to the continuum hypothesis
• Partition Problems in Topology
• Selctive ultrafilters and homogeneity
• Semiselective coideals
• Some points in βN
• Supercompact cardinals, sets of reals, and weakly homogeneous trees
• The Souslin problem
• Une méthode topologique pour l'étude de la propriété de Ramsey

Cited in

(5)

• Terminality implies no-signalling\dots and much more than that
• Beurling moving averages and approximate homomorphisms
• Between reduced powers and ultrapowers, II.
• Terminal notions in set theory
• Regular variation without limits

This page was built for publication: Terminal Notions

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