Geordnetes Paar (German Wikipedia)

Analysis of information sources in references of the Wikipedia article "Geordnetes Paar" in German language version.

refsWebsite

Global rank German rank

2web.archive.org

1^st place

2boisestate.edu

low place

1encyclopediaofmath.org

3,863^rd place

2,453^rd place

1wikipedia.org

low place

1leeds.ac.uk

5,235^th place

6,556^th place

1unipd.it

9,716^th place

low place

1zdb-katalog.de

123^rd place

6^th place

1redirecter.toolforge.org

33^rd place

2^nd place

1IABotmemento.invalid

low place

1gu.se

4,551^st place

9,562^nd place

IABotmemento.invalid

Eine allgemeingültige Paardarstellung kann ausgehend vom Schmidtschen Verfahren wie folgt gebildet werden: Die für Mengen gültige Definition
$a^{+}:=a\cup \{a\}$
(Peter Aczel, Michael Rathjen: Notes on Constructive Set Theory, PDF Book draft vom 19. August 2010, S. 32, Definition 4.2.1 Teil 4; älter Notes on Constructive Set Theory, in: Report No. 40, 2000/2001, Institut Mittag-Leffler der Royal Swedish Academy of Sciences, ISSN 1103-467X, S. 3-1, Definition Teil 4; ebenso M. Randall Holmes: Elementary Set Theory with a Universal Set (Memento des Originals vom 19. Februar 2018 im Internet Archive) Info: Der Archivlink wurde automatisch eingesetzt und noch nicht geprüft. Bitte prüfe Original- und Archivlink gemäß Anleitung und entferne dann diesen Hinweis.@1@2Vorlage:Webachiv/IABot/phil.gu.se, Cahiers du Centre de logique, Vol. 10, S. 79. Andere Notationen sind $a'$ , $S(a)$ , siehe auch Unendlichkeitsaxiom, induktive Menge)
wird auf natürliche Weise fortgesetzt für echte Urelemente (ungleich der Leermenge)
$a^{+}:=\{a\}$
und für eigentliche Klassen
$a^{+}:=a$ .
Eine für alle diese drei Fälle gültige Paardarstellung ist dann
$(a,b)_{\text{all}}:=(a^{+},b^{+})_{\text{Schmidt}}$ .
Im Fall echter Urelemente wird die der Schmidtschen zugrunde liegende ursprüngliche Paardarstellung (etwa nach Kuratowski) reproduziert:
$(a,b)_{\text{all}}=(\{a\},\{b\})_{\text{Schmidt}}=\bigcup _{x\in \{a\}}\bigcup _{x\in \{b\}}(x,y)=(a,b)$ ;
im Fall eigentlicher Klassen per Definition die Schmidtsche selbst:
$(a,b)_{\text{all}}=(a,b)_{\text{Schmidt}}$ ;
für Mengen $a,b$ wird vorausgesetzt, dass $a^{+}=b^{+}\Leftrightarrow a=b$ gilt, was für viele Mengentheorien (ZFU, ZFCU, Quine-Atome, Peter Aczels Hyperset Theory, …) erfüllt ist.

boisestate.edu

math.boisestate.edu

M. Randall Holmes: On Ordered Pairs. auf: Boise State, 29. März 2009, S. 10. Der Autor benutzt die Bezeichnungen $\sigma _{1}$ für $\varphi$ und $\sigma _{2}$ für $\psi$ .
M. Randall Holmes: Elementary Set Theory with a Universal Set. Academia-Bruylant, 1998. The publisher has graciously consented to permit diffusion of this monograph via the web.

encyclopediaofmath.org

tuple. In: Encyclopaedia of Mathematics

gu.se

phil.gu.se

Eine allgemeingültige Paardarstellung kann ausgehend vom Schmidtschen Verfahren wie folgt gebildet werden: Die für Mengen gültige Definition
$a^{+}:=a\cup \{a\}$
(Peter Aczel, Michael Rathjen: Notes on Constructive Set Theory, PDF Book draft vom 19. August 2010, S. 32, Definition 4.2.1 Teil 4; älter Notes on Constructive Set Theory, in: Report No. 40, 2000/2001, Institut Mittag-Leffler der Royal Swedish Academy of Sciences, ISSN 1103-467X, S. 3-1, Definition Teil 4; ebenso M. Randall Holmes: Elementary Set Theory with a Universal Set (Memento des Originals vom 19. Februar 2018 im Internet Archive) Info: Der Archivlink wurde automatisch eingesetzt und noch nicht geprüft. Bitte prüfe Original- und Archivlink gemäß Anleitung und entferne dann diesen Hinweis.@1@2Vorlage:Webachiv/IABot/phil.gu.se, Cahiers du Centre de logique, Vol. 10, S. 79. Andere Notationen sind $a'$ , $S(a)$ , siehe auch Unendlichkeitsaxiom, induktive Menge)
wird auf natürliche Weise fortgesetzt für echte Urelemente (ungleich der Leermenge)
$a^{+}:=\{a\}$
und für eigentliche Klassen
$a^{+}:=a$ .
Eine für alle diese drei Fälle gültige Paardarstellung ist dann
$(a,b)_{\text{all}}:=(a^{+},b^{+})_{\text{Schmidt}}$ .
Im Fall echter Urelemente wird die der Schmidtschen zugrunde liegende ursprüngliche Paardarstellung (etwa nach Kuratowski) reproduziert:
$(a,b)_{\text{all}}=(\{a\},\{b\})_{\text{Schmidt}}=\bigcup _{x\in \{a\}}\bigcup _{x\in \{b\}}(x,y)=(a,b)$ ;
im Fall eigentlicher Klassen per Definition die Schmidtsche selbst:
$(a,b)_{\text{all}}=(a,b)_{\text{Schmidt}}$ ;
für Mengen $a,b$ wird vorausgesetzt, dass $a^{+}=b^{+}\Leftrightarrow a=b$ gilt, was für viele Mengentheorien (ZFU, ZFCU, Quine-Atome, Peter Aczels Hyperset Theory, …) erfüllt ist.

leeds.ac.uk

www1.maths.leeds.ac.uk

Eine allgemeingültige Paardarstellung kann ausgehend vom Schmidtschen Verfahren wie folgt gebildet werden: Die für Mengen gültige Definition
$a^{+}:=a\cup \{a\}$
(Peter Aczel, Michael Rathjen: Notes on Constructive Set Theory, PDF Book draft vom 19. August 2010, S. 32, Definition 4.2.1 Teil 4; älter Notes on Constructive Set Theory, in: Report No. 40, 2000/2001, Institut Mittag-Leffler der Royal Swedish Academy of Sciences, ISSN 1103-467X, S. 3-1, Definition Teil 4; ebenso M. Randall Holmes: Elementary Set Theory with a Universal Set (Memento des Originals vom 19. Februar 2018 im Internet Archive) Info: Der Archivlink wurde automatisch eingesetzt und noch nicht geprüft. Bitte prüfe Original- und Archivlink gemäß Anleitung und entferne dann diesen Hinweis.@1@2Vorlage:Webachiv/IABot/phil.gu.se, Cahiers du Centre de logique, Vol. 10, S. 79. Andere Notationen sind $a'$ , $S(a)$ , siehe auch Unendlichkeitsaxiom, induktive Menge)
wird auf natürliche Weise fortgesetzt für echte Urelemente (ungleich der Leermenge)
$a^{+}:=\{a\}$
und für eigentliche Klassen
$a^{+}:=a$ .
Eine für alle diese drei Fälle gültige Paardarstellung ist dann
$(a,b)_{\text{all}}:=(a^{+},b^{+})_{\text{Schmidt}}$ .
Im Fall echter Urelemente wird die der Schmidtschen zugrunde liegende ursprüngliche Paardarstellung (etwa nach Kuratowski) reproduziert:
$(a,b)_{\text{all}}=(\{a\},\{b\})_{\text{Schmidt}}=\bigcup _{x\in \{a\}}\bigcup _{x\in \{b\}}(x,y)=(a,b)$ ;
im Fall eigentlicher Klassen per Definition die Schmidtsche selbst:
$(a,b)_{\text{all}}=(a,b)_{\text{Schmidt}}$ ;
für Mengen $a,b$ wird vorausgesetzt, dass $a^{+}=b^{+}\Leftrightarrow a=b$ gilt, was für viele Mengentheorien (ZFU, ZFCU, Quine-Atome, Peter Aczels Hyperset Theory, …) erfüllt ist.

redirecter.toolforge.org

Eine allgemeingültige Paardarstellung kann ausgehend vom Schmidtschen Verfahren wie folgt gebildet werden: Die für Mengen gültige Definition
$a^{+}:=a\cup \{a\}$
(Peter Aczel, Michael Rathjen: Notes on Constructive Set Theory, PDF Book draft vom 19. August 2010, S. 32, Definition 4.2.1 Teil 4; älter Notes on Constructive Set Theory, in: Report No. 40, 2000/2001, Institut Mittag-Leffler der Royal Swedish Academy of Sciences, ISSN 1103-467X, S. 3-1, Definition Teil 4; ebenso M. Randall Holmes: Elementary Set Theory with a Universal Set (Memento des Originals vom 19. Februar 2018 im Internet Archive) Info: Der Archivlink wurde automatisch eingesetzt und noch nicht geprüft. Bitte prüfe Original- und Archivlink gemäß Anleitung und entferne dann diesen Hinweis.@1@2Vorlage:Webachiv/IABot/phil.gu.se, Cahiers du Centre de logique, Vol. 10, S. 79. Andere Notationen sind $a'$ , $S(a)$ , siehe auch Unendlichkeitsaxiom, induktive Menge)
wird auf natürliche Weise fortgesetzt für echte Urelemente (ungleich der Leermenge)
$a^{+}:=\{a\}$
und für eigentliche Klassen
$a^{+}:=a$ .
Eine für alle diese drei Fälle gültige Paardarstellung ist dann
$(a,b)_{\text{all}}:=(a^{+},b^{+})_{\text{Schmidt}}$ .
Im Fall echter Urelemente wird die der Schmidtschen zugrunde liegende ursprüngliche Paardarstellung (etwa nach Kuratowski) reproduziert:
$(a,b)_{\text{all}}=(\{a\},\{b\})_{\text{Schmidt}}=\bigcup _{x\in \{a\}}\bigcup _{x\in \{b\}}(x,y)=(a,b)$ ;
im Fall eigentlicher Klassen per Definition die Schmidtsche selbst:
$(a,b)_{\text{all}}=(a,b)_{\text{Schmidt}}$ ;
für Mengen $a,b$ wird vorausgesetzt, dass $a^{+}=b^{+}\Leftrightarrow a=b$ gilt, was für viele Mengentheorien (ZFU, ZFCU, Quine-Atome, Peter Aczels Hyperset Theory, …) erfüllt ist.

unipd.it

events.math.unipd.it

Eine allgemeingültige Paardarstellung kann ausgehend vom Schmidtschen Verfahren wie folgt gebildet werden: Die für Mengen gültige Definition
$a^{+}:=a\cup \{a\}$
(Peter Aczel, Michael Rathjen: Notes on Constructive Set Theory, PDF Book draft vom 19. August 2010, S. 32, Definition 4.2.1 Teil 4; älter Notes on Constructive Set Theory, in: Report No. 40, 2000/2001, Institut Mittag-Leffler der Royal Swedish Academy of Sciences, ISSN 1103-467X, S. 3-1, Definition Teil 4; ebenso M. Randall Holmes: Elementary Set Theory with a Universal Set (Memento des Originals vom 19. Februar 2018 im Internet Archive) Info: Der Archivlink wurde automatisch eingesetzt und noch nicht geprüft. Bitte prüfe Original- und Archivlink gemäß Anleitung und entferne dann diesen Hinweis.@1@2Vorlage:Webachiv/IABot/phil.gu.se, Cahiers du Centre de logique, Vol. 10, S. 79. Andere Notationen sind $a'$ , $S(a)$ , siehe auch Unendlichkeitsaxiom, induktive Menge)
wird auf natürliche Weise fortgesetzt für echte Urelemente (ungleich der Leermenge)
$a^{+}:=\{a\}$
und für eigentliche Klassen
$a^{+}:=a$ .
Eine für alle diese drei Fälle gültige Paardarstellung ist dann
$(a,b)_{\text{all}}:=(a^{+},b^{+})_{\text{Schmidt}}$ .
Im Fall echter Urelemente wird die der Schmidtschen zugrunde liegende ursprüngliche Paardarstellung (etwa nach Kuratowski) reproduziert:
$(a,b)_{\text{all}}=(\{a\},\{b\})_{\text{Schmidt}}=\bigcup _{x\in \{a\}}\bigcup _{x\in \{b\}}(x,y)=(a,b)$ ;
im Fall eigentlicher Klassen per Definition die Schmidtsche selbst:
$(a,b)_{\text{all}}=(a,b)_{\text{Schmidt}}$ ;
für Mengen $a,b$ wird vorausgesetzt, dass $a^{+}=b^{+}\Leftrightarrow a=b$ gilt, was für viele Mengentheorien (ZFU, ZFCU, Quine-Atome, Peter Aczels Hyperset Theory, …) erfüllt ist.

web.archive.org

Akihiro Kanamori: The Empty Set, The Singleton, And The Ordered Pair. (Memento vom 1. Februar 2018 im Internet Archive) In: The Bulletin of Symbolic Logic. Vol. 9, No. 3, September 2003, S. 290.
Eine allgemeingültige Paardarstellung kann ausgehend vom Schmidtschen Verfahren wie folgt gebildet werden: Die für Mengen gültige Definition
$a^{+}:=a\cup \{a\}$
(Peter Aczel, Michael Rathjen: Notes on Constructive Set Theory, PDF Book draft vom 19. August 2010, S. 32, Definition 4.2.1 Teil 4; älter Notes on Constructive Set Theory, in: Report No. 40, 2000/2001, Institut Mittag-Leffler der Royal Swedish Academy of Sciences, ISSN 1103-467X, S. 3-1, Definition Teil 4; ebenso M. Randall Holmes: Elementary Set Theory with a Universal Set (Memento des Originals vom 19. Februar 2018 im Internet Archive) Info: Der Archivlink wurde automatisch eingesetzt und noch nicht geprüft. Bitte prüfe Original- und Archivlink gemäß Anleitung und entferne dann diesen Hinweis.@1@2Vorlage:Webachiv/IABot/phil.gu.se, Cahiers du Centre de logique, Vol. 10, S. 79. Andere Notationen sind $a'$ , $S(a)$ , siehe auch Unendlichkeitsaxiom, induktive Menge)
wird auf natürliche Weise fortgesetzt für echte Urelemente (ungleich der Leermenge)
$a^{+}:=\{a\}$
und für eigentliche Klassen
$a^{+}:=a$ .
Eine für alle diese drei Fälle gültige Paardarstellung ist dann
$(a,b)_{\text{all}}:=(a^{+},b^{+})_{\text{Schmidt}}$ .
Im Fall echter Urelemente wird die der Schmidtschen zugrunde liegende ursprüngliche Paardarstellung (etwa nach Kuratowski) reproduziert:
$(a,b)_{\text{all}}=(\{a\},\{b\})_{\text{Schmidt}}=\bigcup _{x\in \{a\}}\bigcup _{x\in \{b\}}(x,y)=(a,b)$ ;
im Fall eigentlicher Klassen per Definition die Schmidtsche selbst:
$(a,b)_{\text{all}}=(a,b)_{\text{Schmidt}}$ ;
für Mengen $a,b$ wird vorausgesetzt, dass $a^{+}=b^{+}\Leftrightarrow a=b$ gilt, was für viele Mengentheorien (ZFU, ZFCU, Quine-Atome, Peter Aczels Hyperset Theory, …) erfüllt ist.

wikipedia.org

en.wikipedia.org

Eine allgemeingültige Paardarstellung kann ausgehend vom Schmidtschen Verfahren wie folgt gebildet werden: Die für Mengen gültige Definition
$a^{+}:=a\cup \{a\}$
(Peter Aczel, Michael Rathjen: Notes on Constructive Set Theory, PDF Book draft vom 19. August 2010, S. 32, Definition 4.2.1 Teil 4; älter Notes on Constructive Set Theory, in: Report No. 40, 2000/2001, Institut Mittag-Leffler der Royal Swedish Academy of Sciences, ISSN 1103-467X, S. 3-1, Definition Teil 4; ebenso M. Randall Holmes: Elementary Set Theory with a Universal Set (Memento des Originals vom 19. Februar 2018 im Internet Archive) Info: Der Archivlink wurde automatisch eingesetzt und noch nicht geprüft. Bitte prüfe Original- und Archivlink gemäß Anleitung und entferne dann diesen Hinweis.@1@2Vorlage:Webachiv/IABot/phil.gu.se, Cahiers du Centre de logique, Vol. 10, S. 79. Andere Notationen sind $a'$ , $S(a)$ , siehe auch Unendlichkeitsaxiom, induktive Menge)
wird auf natürliche Weise fortgesetzt für echte Urelemente (ungleich der Leermenge)
$a^{+}:=\{a\}$
und für eigentliche Klassen
$a^{+}:=a$ .
Eine für alle diese drei Fälle gültige Paardarstellung ist dann
$(a,b)_{\text{all}}:=(a^{+},b^{+})_{\text{Schmidt}}$ .
Im Fall echter Urelemente wird die der Schmidtschen zugrunde liegende ursprüngliche Paardarstellung (etwa nach Kuratowski) reproduziert:
$(a,b)_{\text{all}}=(\{a\},\{b\})_{\text{Schmidt}}=\bigcup _{x\in \{a\}}\bigcup _{x\in \{b\}}(x,y)=(a,b)$ ;
im Fall eigentlicher Klassen per Definition die Schmidtsche selbst:
$(a,b)_{\text{all}}=(a,b)_{\text{Schmidt}}$ ;
für Mengen $a,b$ wird vorausgesetzt, dass $a^{+}=b^{+}\Leftrightarrow a=b$ gilt, was für viele Mengentheorien (ZFU, ZFCU, Quine-Atome, Peter Aczels Hyperset Theory, …) erfüllt ist.

zdb-katalog.de

Eine allgemeingültige Paardarstellung kann ausgehend vom Schmidtschen Verfahren wie folgt gebildet werden: Die für Mengen gültige Definition
$a^{+}:=a\cup \{a\}$
(Peter Aczel, Michael Rathjen: Notes on Constructive Set Theory, PDF Book draft vom 19. August 2010, S. 32, Definition 4.2.1 Teil 4; älter Notes on Constructive Set Theory, in: Report No. 40, 2000/2001, Institut Mittag-Leffler der Royal Swedish Academy of Sciences, ISSN 1103-467X, S. 3-1, Definition Teil 4; ebenso M. Randall Holmes: Elementary Set Theory with a Universal Set (Memento des Originals vom 19. Februar 2018 im Internet Archive) Info: Der Archivlink wurde automatisch eingesetzt und noch nicht geprüft. Bitte prüfe Original- und Archivlink gemäß Anleitung und entferne dann diesen Hinweis.@1@2Vorlage:Webachiv/IABot/phil.gu.se, Cahiers du Centre de logique, Vol. 10, S. 79. Andere Notationen sind $a'$ , $S(a)$ , siehe auch Unendlichkeitsaxiom, induktive Menge)
wird auf natürliche Weise fortgesetzt für echte Urelemente (ungleich der Leermenge)
$a^{+}:=\{a\}$
und für eigentliche Klassen
$a^{+}:=a$ .
Eine für alle diese drei Fälle gültige Paardarstellung ist dann
$(a,b)_{\text{all}}:=(a^{+},b^{+})_{\text{Schmidt}}$ .
Im Fall echter Urelemente wird die der Schmidtschen zugrunde liegende ursprüngliche Paardarstellung (etwa nach Kuratowski) reproduziert:
$(a,b)_{\text{all}}=(\{a\},\{b\})_{\text{Schmidt}}=\bigcup _{x\in \{a\}}\bigcup _{x\in \{b\}}(x,y)=(a,b)$ ;
im Fall eigentlicher Klassen per Definition die Schmidtsche selbst:
$(a,b)_{\text{all}}=(a,b)_{\text{Schmidt}}$ ;
für Mengen $a,b$ wird vorausgesetzt, dass $a^{+}=b^{+}\Leftrightarrow a=b$ gilt, was für viele Mengentheorien (ZFU, ZFCU, Quine-Atome, Peter Aczels Hyperset Theory, …) erfüllt ist.