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

Horst Herrlich; Paul Howard; Eleftherios Tachtsis

Displaying similar documents to “On a Certain Notion of Finite and a Finiteness Class in Set Theory without Choice”

The interdependence of certain consequences of the axiom of choice

A. Lévy (1964)

Fundamenta Mathematicae

Similarity:

Definitions of finiteness based on order properties

Omar De la Cruz, Damir D. Dzhafarov, Eric J. Hall (2006)

Fundamenta Mathematicae

Similarity:

A definition of finiteness is a set-theoretical property of a set that, if the Axiom of Choice (AC) is assumed, is equivalent to stating that the set is finite; several such definitions have been studied over the years. In this article we introduce a framework for generating definitions of finiteness in a systematical way: basic definitions are obtained from properties of certain classes of binary relations, and further definitions are obtained from the basic ones by closing them...

Metamathematics of the alternative set theory. I.

Antonín Sochor (1979)

Commentationes Mathematicae Universitatis Carolinae

Similarity:

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