Functions-Basic Definitions

writer : Ivo Düntsch and Günther Gediga

source : Sets, Relations, Functions

page : 35-38

14-2-2017 2312

more

Graphoid

writer : Harary, F

source : Graph Theory. Reading, MA: Addison-Wesley,

page : p. 41

16-1-2022 2484

more

Sets-Subsets, Power Sets, Equality of Sets

writer : Ivo Düntsch and Günther Gediga

source : Sets, Relations, Functions

page : 9-12

14-2-2017 3845

more

Subset

writer : Sloane, N. J. A

source : Sequence A000079/M1129 in "The On-Line Encyclopedia of Integer Sequences."

page : ...

17-1-2022 4449

more

Finite Set

writer : المرجع الالكتروني للمعلوماتيه

source : www.almerja.com

page : ...

16-1-2022 2861

more

Inductive Set

writer : Bourbaki, N.

source : "Ensembles Inductifs." Ch. 3, §2.4 in Théorie des Ensembles. Paris, France: Hermann, 1970.

page : ...

16-1-2022 2952

more

Antichain

writer : Agnew, R. P.

source : . "Minimax Functions, Configuration Functions, and Partitions." J. Indian Math. Soc. 24

page : ...

5-1-2022 2891

more

Wilkie,s Theorem

writer : Marker, D

source : "Model Theory and Exponentiation." Not. Amer. Math. Soc. 43

page : ...

5-1-2022 1395

more

von Neumann-Bernays-Gödel Set Theory

writer : Itô, K.

source : "Bernays-Gödel Set Theory." §33C in Encyclopedic Dictionary of Mathematics, 2nd ed., Vol. 1. Cambridge, MA: MIT Press

page : ...

30-12-2021 1574

more

مخطط سهمي Lattice Diagram

المؤلف : صالح رشيد بطارسه

المصدر : معجم الرياضيات

الجزء والصفحة : 301

9-12-2015 17137

المزيد

Categorical Axiomatic System

writer : Smart, J.

source : "Finite Geometries and Axiomatic Systems." 2002. http://www.beva.org/math323/asgn5/nov5.htm.

page : ...

27-12-2021 1276

more

Functions-One–one, Onto, and Bijective Functions

writer : Ivo Düntsch and Günther Gediga

source : Sets, Relations, Functions

page : 39-41

14-2-2017 7609

more

Löwenheim-Skolem Theorem

writer : Berry, G. D. W.

source : Symposium on the Ontological Significance of the Löwenheim-Skolem Theorem, Academic Freedom, Logic, and Religion. Philadelphia, PA: Amer. Philos. Soc.

page : ...

4-1-2022 2521

more

تقاطع Intersection

المؤلف : صالح رشيد بطارسه

المصدر : معجم الرياضيات

الجزء والصفحة : 85

3-11-2015 1405

المزيد

Family

writer : Bourbaki, N

source : Eléments de Mathématiques. Théorie des Ensembles. Paris, France: Hermann

page : p. ER11

13-1-2022 1674

more

Tarski,s Fixed Point Theorem

writer : Tarski, A.

source : "A Lattice-Theoretical Fixpoint Theorem and Its Applications." Pacific J. Math. 5

page : 285-309

9-1-2022 1842

more

Zermelo-Fraenkel Axioms

writer : Abian, A

source : "On the Independence of Set Theoretical Axioms." Amer. Math. Monthly 76

page : ...

30-12-2021 2994

more

F_sigma Set

writer : Royden, H. L. and Fitzpatrick, P. M

source : Real Analysis. Pearson, 2010.

page : ...

13-1-2022 2007

more