Archive der Universität Konstanz

You are not logged in.

Archives

Tectonics are limited to your search, you can use the "+" to show the normal archive tree.

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

Digitized images are blocked until: 31.12.2050

Full view Unit of Description GK 8-1-11

Reference number:	GK 8-1-11
Title:	Note on arithmetic modes for consistens formulae of the predicate calculus II
Inclusive dates:	1953
Contents:	Kopie des Artikels "Note on arithmetic modes for consistens formulae of the predicate calculus II" aus Actes du XIème Congrès International de Philosophie, Bruxelles, 20-26 Août 1953, Bd. 14, Amsterdam 1953 mit zwei handschriftlichen Annotationen Kreisels (in der Kopiervorlage).
Scope:	11 Bl.
Order reference number:	PAKN, GK (Georg Kreisel), GK 8-1-11

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