Akten

A Remark on free choice sequences and the topological completeness proofs

to connected objects

Enthält: 2 Sonderdrucke des Artikels "A Remark on free choice sequences and the topological completeness proofs" aus The Journal of Symbolic Logic 23 (1958)

Reference number
PAKN, GK Georg Kreisel, GK 8-1-32
Extent
2 Sonderdrucke

Context
Georg Kreisel >> Sonderdruck- und Schriftensammlung >> Sonderdrucksammlung Schriften
Holding
PAKN, GK Georg Kreisel

Date of creation
1958

Other object pages
Show object in "Archivportal-D"
Last update
10.06.2025, 11:28 AM CEST

Data provider

This object is provided by:
Archive der Universität Konstanz. If you have any questions about the object, please contact the data provider.
Show original at data provider

Object type

  • Sachakte

Time of origin

  • 1958

Other Objects (12)

Informal rigour and completeness proofs

Akten

Informal rigour and completeness proofs

Topological and Algebraic Properties of Topological Group Cohomology and LHS-type Spectral Sequences

Hochschulschrift

Topological and Algebraic Properties of Topological Group Cohomology and LHS-type Spectral Sequences

Topological aspects of the characterization of Hida distributions – a remark

Topological aspects of the characterization of Hida distributions – a remark

Completeness of Information Sources

Completeness of Information Sources

Completeness of Information Sources

Completeness of Information Sources

Reusing Proofs

Reusing Proofs

Graph algorithms and NP-completeness

Graph algorithms and NP-completeness

Completeness of integrated Information Sources

Completeness of integrated Information Sources

Note on completeness and definability

Akten

Note on completeness and definability

Completeness theory for propositional logics

Completeness theory for propositional logics

Computable Short Proofs

zweidimensionales bewegtes Bild

Computable Short Proofs

Generating Multilingual Proofs

Generating Multilingual Proofs

Related objects