Displaying similar documents to “Finiteness and 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...

[unknown]

M. Jelić (1990)

Matematički Vesnik

Similarity:

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.

There is no complete axiom system for shuffle expressions

A. Szepietowski (2010)

RAIRO - Theoretical Informatics and Applications

Similarity:

In this paper we show that neither the set of all valid equations between shuffle expressions nor the set of schemas of valid equations is recursively enumerable. Thus, neither of the sets can be recursively generated by any axiom system.

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