Statistical approach to proof theory
Ivan Kramosil (1979)
Kybernetika
Similarity:
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
Displaying similar documents to “A note on nonaxiomatizability of independence relations generated by certain probabilistic structures”
Statistical approach to proof theory
Arithmetization of metamathematics in a general setting
S. Feferman (1960)
Fundamenta Mathematicae
Similarity:
On definable sets of positive integers
Andrzej Mostowski (1947)
Fundamenta Mathematicae
Similarity:
Fixed points and self-reference.
Smullyan, Raymond M. (1984)
International Journal of Mathematics and Mathematical Sciences
Similarity:
Consistency statements in formal theories
R. Jeroslow (1971)
Fundamenta Mathematicae
Similarity:
States of affairs as values for formulas
Miroslav Mleziva (1975)
Kybernetika
Similarity: