Sachakte

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
Archive der Universität Konstanz, 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
01.03.2023, 7:50 AM CET

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

Sachakte

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

Completeness of Information Sources

Completeness of Information Sources

Completeness of Information Sources

Completeness of Information Sources

Topological aspects of the characterization of Hida distributions – a remark

Topological aspects of the characterization of Hida distributions – a remark

Reusing Proofs

Reusing Proofs

Graph algorithms and NP-completeness

Graph algorithms and NP-completeness

Note on completeness and definability

Sachakte

Note on completeness and definability

Completeness of integrated Information Sources

Completeness of integrated Information Sources

Completeness theory for propositional logics

Completeness theory for propositional logics

Proofs and Provability

Sachakte

Proofs and Provability

Generating Multilingual Proofs

Generating Multilingual Proofs

Related objects