ZFC


Also found in: Acronyms.

ZFC

(mathematics)
Zermelo Fr?nkel set theory plus the Axiom of Choice. A favourite axiomatisation of set theory.
References in periodicals archive ?
Assuming the consistency of some large cardinal hypothesis H, there is no effective procedure to decide whether a ZFC + H-theorem is provable in ZFC alone
As we will see in a moment, there is not absolute agreement that ZFC is appropriate, but most mathematicians will give at least two reasons for adopting them: (1) the axioms ring true (i.
Let ZF, AC, and ZFC be as above, and let AC be the theory that consists of all the consequences of AC.
Por otro lado, en el caso de la muestra tratada termicamente a 860[grados]C, se observa una gran mejoria de las senales ZFC y FC, debido a que, a esta temperatura de sinterizacion, el YBCO es la fase dominante en la pelicula y la temperatura el crecimiento epitaxial de los granos orientados en el eje c es el mas alto que en los casos anteriores, corroborado del grado de epitaxia fc.
La Figura 1 presenta las isotermas para las bicapas (a) F60AFI0 y (b) F 10AF60 sin campo aplicado, ZFC (37,38).
18pm: Police say armed officers are working to apprehend a man who is described as in his thirties with a shaven head, and driving a dark grey/silver Citroen Picasso registration ND55 ZFC.
The axioms of group G are the axioms of ZFC (formulae of the signature ([epsilon]>}), with exception of the axiom of empty set, which are relativized to the family S.
we state definitions and properties in the framework of ZFC that we consider in The Results, Paragraph 3.
Tal vez la objecion mas obvia es que FBP es inconsistente, pues tanto ZFC como ZF + [sin correspondencia]C son consistentes.
For example, Kathryn referred to the ZFC axioms, while Quinn suggested the Schroeder-Bernstein theorem (which, we note, is not about P(N) ).
present a new axiom of set theory they call the Covering Property Axiom, CPA, and show how it is consistent with the usual ZFC axioms, and is not only true in the iterated perfect set Sacks model but actually captures its combinatorial core.
The main focus of the discussion is on undecidable questions in set theory (that is, propositions such as the continuum hypothesis that can be neither proved nor disproved from the standard ZFC axioms), and on attempts to settle them by searching for new axioms.