Displaying similar documents to “On a certain prewellordering”

Inaccessible cardinals without the axiom of choice

Andreas Blass, Ioanna M. Dimitriou, Benedikt Löwe (2007)

Fundamenta Mathematicae

Similarity:

We consider four notions of strong inaccessibility that are equivalent in ZFC and show that they are not equivalent in ZF.

Lusin sequences under CH and under Martin's Axiom

Uri Abraham, Saharon Shelah (2001)

Fundamenta Mathematicae

Similarity:

Assuming the continuum hypothesis there is an inseparable sequence of length ω₁ that contains no Lusin subsequence, while if Martin's Axiom and ¬ CH are assumed then every inseparable sequence (of length ω₁) is a union of countably many Lusin subsequences.

Internal and forcing models for the impredicative theory of classes

Rolando Chuaqui

Similarity:

CONTENTSIntroduction............................................................................................................ 5I. Axiom system and elementary consequences........................................... 61. Axioms........................................................................................................................ 62. Definitions and elementary consequences........................................................ 9II. Principles of definitions by recursion..............................................................