Zermelo–Fraenkel set theory

Known as: Zermelo-Fraenkel axiomatization, Zermelo–Fraenkel framework, ZFC (disambiguation)

In mathematics, Zermelo–Fraenkel set theory, named after mathematicians Ernst Zermelo and Abraham Fraenkel, is one of several axiomatic systems that…

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.

2016

In this paper, we investigate information and energy cooperation in cognitive non-regenerative two-way relay networks, where the…

2013

2011

This paper sets out to explore the basics of Zermelo-Fraenkel (ZF) set theory without choice. We will take the axioms (excluding…

2011

We describe the countable ordinals in terms of iterations of Mostowski collapsings. This gives a proof-theoretic bound of…

2007

An efficient non-linear pre-filtering technique based on Tomlinson-Harashima pre-coding (THP) has recently been proposed by Liu…

2003

In this note, we present a puzzle. We prove that Zermelo-Fraenkel set theory is inconsistent by proving, using Zermelo-Fraenkel…

1999

Second-order statistics of the received signal can be used to equalize a communication channel without knowledge of the…

1996

In this paper, we develop the system LZF of set theory with the unrestricted comprehension in full linear logic and show that LZF…

1985

My aim here is to investigate the role of global quantifiers—quantifiers ranging over the entire universe of sets—in the…

1966

KOPE~ [1] um 1920 von Gehirnexstirpationen, die die Metamorphose yon Schmetterlingsraupen verhinderten, jedoch blieben seine…