On definable sets of positive integers
Andrzej Mostowski (1947)
Fundamenta Mathematicae
Similarity:
Displaying similar documents to “On a generalization of quantifiers”
On definable sets of positive integers
Consistency statements in formal theories
R. Jeroslow (1971)
Fundamenta Mathematicae
Similarity:
A complete first-order logic with infinitary predicates
H. Keisler (1963)
Fundamenta Mathematicae
Similarity:
The first order properties of Dedekind finite integers
Erik Ellentuck (1968)
Fundamenta Mathematicae
Similarity:
On the concepts of completeness and interpretation of formal systems
G. Kreisel (1952)
Fundamenta Mathematicae
Similarity:
Undecidability of first order sentences in the theory of free groupoids
S. Jaśkowski (1956)
Fundamenta Mathematicae
Similarity:
On the ε-theorems
H. Rasiowa (1956)
Fundamenta Mathematicae
Similarity:
A system which can define its own truth
John Myhill (1950)
Fundamenta Mathematicae
Similarity:
Sequents in many valued logic I
G. Rousseau (1967)
Fundamenta Mathematicae
Similarity:
An undecidable arithmetical statement
Andrzej Mostowski (1949)
Fundamenta Mathematicae
Similarity: