-satisfiability, -consistency property, and the downward Lowenheim Skolem theorem for
Ruggero Ferro (1982)
Rendiconti del Seminario Matematico della Università di Padova
Similarity:
Ruggero Ferro (1982)
Rendiconti del Seminario Matematico della Università di Padova
Similarity:
Ruggero Ferro (1988)
Rendiconti del Seminario Matematico della Università di Padova
Similarity:
M. Makkai (1974)
Fundamenta Mathematicae
Similarity:
Stefano Baratella (1989)
Rendiconti del Seminario Matematico della Università di Padova
Similarity:
Solomon Feferman (1968)
Compositio Mathematica
Similarity:
E. Lopez-Escobar (1966)
Fundamenta Mathematicae
Similarity:
Leon Henkin (1968)
Compositio Mathematica
Similarity:
M. Makkai (1965)
Fundamenta Mathematicae
Similarity:
Milan Grulović (2001)
Publications de l'Institut Mathématique
Similarity:
G. Cherlin (1975)
Fundamenta Mathematicae
Similarity: