Groupe d'équivalence d'une théorie déductive. (Q2601628): Difference between revisions
From MaRDI portal
Added link to MaRDI item. |
Set profile property. |
||
(2 intermediate revisions by one other user not shown) | |||
Property / author | |||
Property / author: J.-L. Destouches / rank | |||
Property / author | |||
Property / author: J.-L. Destouches / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank |
Latest revision as of 08:47, 5 March 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Groupe d'équivalence d'une théorie déductive. |
scientific article |
Statements
Groupe d'équivalence d'une théorie déductive. (English)
0 references
1937
0 references
Verf. betrachtet eine deduktive Theorie, in abstrakter Weise konstituiert als ein Bereich gewisser Elemente, die ``primitive Terme'', ``Aussagen'', ``Axiome'' genannt werden. Mit diesen Elementen ist nicht der übliche Sinn zu verbinden, sondern sie sind nur durch gewisse Grundrelationen (``impliziert'', ``äquivalent mit'', usw.) verbunden. Die Transformationen, die das System der ``Axiome'' oder der ``primitiven Terme'' in ein äquivalentes System transformieren, bilden unter gewissen, angegebenen Bedingungen je eine Gruppe. Die erste dieser Gruppen ist entweder mit der Permutationsgruppe von \(n\) Elementen oder, im Falle von abzählbar unendlich vielen Elementen, mit der Gruppe \(S_{\infty}\) von \textit{J. Schreier} isomorph. Das direkte Produkt beider Gruppen wird die Äquivalenzgruppe der deduktiven Theorie genannt. Um die deduktive Theorie zu charakterisieren, ist die Gruppe nicht ausreichend.
0 references