Sachakte
Note on completeness and definability
Enthält: Kopie des Artikels "Note on completeness and definability" aus Technical Report 3 (27.1.1961) ( Applied Mathematics and Statistics Laboratories, Stanford University, Stanford Calif. 1961)
- Reference number
-
Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 8-1-48
- Extent
-
35 Bl.
- Context
-
Georg Kreisel >> Sonderdruck- und Schriftensammlung >> Sonderdrucksammlung Schriften
- Holding
-
PAKN, GK Georg Kreisel
- Date of creation
-
1961
- Other object pages
- 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.
Archive der Universität Konstanz. If you have any questions about the object, please contact the data provider.
Object type
- Sachakte
Time of origin
- 1961
Other Objects (12)
A Note on Expressive Completeness of Modal Logic
Informal rigour and completeness proofs
On weak completeness of intuitionistic predicate logic
On weak completeness of intuitionistic predicative logic
On the concepts of Completeness and Interpretation of Formal Systems
Elementary completeness properties of intuitionistic logic with a note on negations of prenex formulae
A Remark on free choice sequences and the topological completeness proofs
On stochastic completeness of weighted graphs
Graph algorithms and NP-completeness
Observations on a recent generalization of completeness theorems due to Schütte
Linear representability without completeness and transitivity
Randomness and completeness in computational complexity
A Note on Expressive Completeness of Modal Logic
Informal rigour and completeness proofs
On weak completeness of intuitionistic predicate logic
On weak completeness of intuitionistic predicative logic
On the concepts of Completeness and Interpretation of Formal Systems
Elementary completeness properties of intuitionistic logic with a note on negations of prenex formulae
A Remark on free choice sequences and the topological completeness proofs
On stochastic completeness of weighted graphs
Graph algorithms and NP-completeness
Observations on a recent generalization of completeness theorems due to Schütte
Linear representability without completeness and transitivity
Randomness and completeness in computational complexity
A Note on Expressive Completeness of Modal Logic
Informal rigour and completeness proofs
On weak completeness of intuitionistic predicate logic
On weak completeness of intuitionistic predicative logic
On the concepts of Completeness and Interpretation of Formal Systems
Elementary completeness properties of intuitionistic logic with a note on negations of prenex formulae
A Remark on free choice sequences and the topological completeness proofs
On stochastic completeness of weighted graphs
Graph algorithms and NP-completeness
Observations on a recent generalization of completeness theorems due to Schütte
Linear representability without completeness and transitivity