On a synonymy relation for extensional 1st order theories. Part 1. A notion of synonymy
C. Bonotto, A. Bressan (1983)
Rendiconti del Seminario Matematico della Università di Padova
Similarity:
Displaying similar documents to “On a synonymy relation for extensional 1st order theories. Part III. A necessary and sufficient condition for synonymy”
On a synonymy relation for extensional 1st order theories. Part 1. A notion of synonymy
A completeness theorem for the general interpreted modal calculus of A. Bressan
Alberto Zanardo (1981)
Rendiconti del Seminario Matematico della Università di Padova
Similarity:
Algebraic models of axiomatic theories
H. Rasiowa (1955)
Fundamenta Mathematicae
Similarity:
On the extending of models (I)
J. Łoś (1955)
Fundamenta Mathematicae
Similarity:
On ω-models which are not β-models
Andrzej Mostowski, Y. Suzuki (1969)
Fundamenta Mathematicae
Similarity:
A contribution to Gödel's axiomatic set theory, I
Ladislav Rieger (1957)
Czechoslovak Mathematical Journal
Similarity:
Models of axiomatic systems
Andrzej Mostowski (1952)
Fundamenta Mathematicae
Similarity:
A kind of categoricity
Andrzej Grzegorczyk (1962)
Colloquium Mathematicae
Similarity:
A construction for consistent systems
I. Novak (1950)
Fundamenta Mathematicae
Similarity: