Archive der Universität Konstanz

Signatur:	GK 8-1-9
Titel:	On the interpretation of non-finitist proofs II
Laufzeit:	1952
Enthält:	2 Sonderdrucke des Artikels "On the interpretation of non-finitist proofs II" aus The Journal of Symbolic Logic 17, Nr. 1 (1952)
Umfang:	2 Sonderdrucke
Bestellsignatur:	PAKN, GK (Georg Kreisel), GK 8-1-9

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

GK 8-1-38 - Partial recursive functionals and effective operat - 1959

GK 8-1-39 - Non-uniqueness results for transfinite progression - 1960

GK 8-1-40 - Set existence - 1960

GK 8-1-41 - La prédicativité - 1960

GK 8-1-42 - Status of the first ε number in first order arithm - 1960

GK 8-1-43 - Ordinal logics and the characterization of informa - 1960

GK 8-1-44 - Ordinals of ramified analysis - 1960

GK 8-1-45 - Analysis of Beth's semantic construction of intuit - 1961

GK 8-1-46 - Set existence II - 1961

GK 8-1-47 - Set theoretic problems suggested by the notion of - 1961

GK 8-1-48 - Note on completeness and definability - 1961

GK 8-1-49 - On weak completeness of intuitionistic predicate l - 1961

GK 8-1-50 - Finite definability of number-theoretic functions - 1961

1 2 3 > >>

Sonderdrucksammlung Rezensionen

Schriftensammlung

Korrespondenz mit Verena Huber-Dyson

Korrespondenz mit Albert Visser

Korrespondenz mit Brian McGuinness

PAKN, PL Paul Lorenzen

PAKN, HR Hans Reichenbach

PAKN, BT Bruno Thüring

Deposita

Sozialwissenschaftliches Archiv

Universitätsarchiv