Displaying similar documents to “The 'World's Simplest Axiom of Choice' Fails.”

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..............................................................

On a Certain Notion of Finite and a Finiteness Class in Set Theory without Choice

Horst Herrlich, Paul Howard, Eleftherios Tachtsis (2015)

Bulletin of the Polish Academy of Sciences. Mathematics

Similarity:

We study the deductive strength of properties under basic set-theoretical operations of the subclass E-Fin of the Dedekind finite sets in set theory without the Axiom of Choice ( AC ), which consists of all E-finite sets, where a set X is called E-finite if for no proper subset Y of X is there a surjection f:Y → X.

Set-theoretic constructions of two-point sets

Ben Chad, Robin Knight, Rolf Suabedissen (2009)

Fundamenta Mathematicae

Similarity:

A two-point set is a subset of the plane which meets every line in exactly two points. By working in models of set theory other than ZFC, we demonstrate two new constructions of two-point sets. Our first construction shows that in ZFC + CH there exist two-point sets which are contained within the union of a countable collection of concentric circles. Our second construction shows that in certain models of ZF, we can show the existence of two-point sets without explicitly invoking the...

[unknown]

M. Jelić (1990)

Matematički Vesnik

Similarity:

Alternative set theory with elementary classes

Nando Prati (1994)

Commentationes Mathematicae Universitatis Carolinae

Similarity:

In this paper we sketch the development and give a model of the formal version of a generalization of the Alternative Set Theory.