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

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

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

[unknown]

M. Jelić (1990)

Matematički Vesnik

Similarity: