Archive der Universität Konstanz

Sie sind nicht angemeldet.

Tektonik

Die Tektonik ist auf Ihren Suchtreffer eingeschränkt, Sie können über das "+" den normalen Archivbaum einblenden.

Archive der Universität Konstanz

Philosophisches Archiv

Vor- und Nachlässe

PAKN, OB Oskar Becker

PAKN, RC Rudolf Carnap

PAKN, PF Paul Feyerabend

PAKN, GG Gerhard Gentzen

PAKN, HJ Hans Jonas

PAKN, WK Wilhelm Kamlah

PAKN, VK Viktor Kraft

PAKN, GK Georg Kreisel

Pittsburgh-Teil

Salzburg-Teil

Sonderdruck- und Schriftensammlung

Sonderdrucksammlung Schriften

1 2 3 > >>

GK 8-1-1 - Beiträge Eureka 8 (1944) - 1944

GK 8-1-2 - Some remarks on integral equations with kernels - 1949

GK 8-1-3 - Surface Waves - 1949

GK 8-1-4 - Note on arithmetic models for consistent formulae - 1950

GK 8-1-5 - On the interpretation of non-finitist proofs I - 1951

GK 8-1-6 - Some remarks on the foundations of mathematics - 1951

GK 8-1-7 - On the concepts of Completeness and Interpretation - 1952

GK 8-1-8 - Some elementary inequalities - 1952

GK 8-1-9 - On the interpretation of non-finitist proofs II - 1952

GK 8-1-10 - Some concepts concerning formal systems of number - 1952

GK 8-1-11 - Note on arithmetic modes for consistens formulae o - 1953

GK 8-1-12 - A variant to Hilbert's theory of the foundations o - 1953

GK 8-1-13 - On a problem of Henkin's - 1953

GK 8-1-14 - Note on functional relationship - 1953

GK 8-1-15 - Application of mathematical logic to various branc - 1954

GK 8-1-16 - Discussion sur divers thèmes - 1954

GK 8-1-17 - Remark on complete interpretations by models - 1954

GK 8-1-18 - Bases for systems of analysis - 1954

GK 8-1-19 - Some application of formalized consistency proofs - 1955

GK 8-1-20 - Models, translations and interpretations - 1955

GK 8-1-21 - Fonctionelles récursivement définissables et fonct - 1957

GK 8-1-22 - Ensembles récursivement mesurables et ensembles ré - 1957

GK 8-1-23 - Eine Unableitbarkeitsbeweismethode für den intuiti - 1957

GK 8-1-24 - Independent recursive axiomatization - 1957

GK 8-1-25 - Gödel's interpretation of Heyting's arithmetic - 1957

GK 8-1-26 - Relations between classes of constructive function - 1957

GK 8-1-27 - Sums of squares - 1957-1960

GK 8-1-28 - Effective operations and partial recursive functio - 1957

GK 8-1-29 - Applications of formalized consitency proofs II - 1958

GK 8-1-30 - Mathematical significance of consistency proofs - 1958

GK 8-1-31 - Elementary completeness properties of intuitionist - 1958

GK 8-1-32 - A Remark on free choice sequences and the topologi - 1958

GK 8-1-33 - Number theoretic concepts and recursive well-order - 1959

GK 8-1-34 - Analysis of the Cantor-Bendixson theorem by means - 1959

GK 8-1-35 - Interpretation of analysis by means of constructiv - 1959

GK 8-1-36 - Proof by transfinite induction and definition by t - 1959

GK 8-1-37 - Reflection principle for subsystems of Heyting's - 1959

Digitalisierte Bilder gesperrt bis: 31.12.2050

Vollansicht Verzeichnungseinheit GK 8-1-37

Signatur:	GK 8-1-37
Titel:	Reflection principle for subsystems of Heyting's (first order) arithmetic
Laufzeit:	1959
Enthält:	Kopie des Artikels (Abstract) "Reflection principle for subsystems of Heyting's (first order) arithmetic" aus The Journal of Symbolic Logic 24 (1959)
Umfang:	2 Bl.
Bestellsignatur:	PAKN, GK (Georg Kreisel), GK 8-1-37