Archive der Universität Konstanz

Reference number:	GK 8-1-4
Title:	Note on arithmetic models for consistent formulae of the predicate calculus
Inclusive dates:	1950
Contents:	2 Sonderdrucke des Artikels "Note on arithmetic models for consistent formulae of the predicate calculus" aus Fundamenta Mathematicae 37 (1950). Einer der beiden Drucke zeigt eine längere handschriftliche Annotation, die nicht von Kreisel stammt.
Scope:	2 Sonderdrucke
Order reference number:	PAKN, GK (Georg Kreisel), GK 8-1-4

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

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