-satisfiability, -consistency property, and the downward Lowenheim Skolem theorem for
Ruggero Ferro (1982)
Rendiconti del Seminario Matematico della Università di Padova
Similarity:
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
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: