Generalizing Vaught sentences from ω to strong cofinality ω
M. Makkai (1974)
Fundamenta Mathematicae
Similarity:
Displaying similar documents to “The Feferman-Vaught theorem revisited”
Generalizing Vaught sentences from ω to strong cofinality ω
A kind of categoricity
Andrzej Grzegorczyk (1962)
Colloquium Mathematicae
Similarity:
Skolem-type normal forms for first-order languages with a generalized quantifier
G. Fuhrken (1964)
Fundamenta Mathematicae
Similarity:
Indicators, recursive saturation and expandability
L. Kirby, K. McAllon, R. Murawski (1981)
Fundamenta Mathematicae
Similarity:
Natural models of set theories
R. Montague, R. Vaught (1959)
Fundamenta Mathematicae
Similarity:
On models of certain formulas with a predicate letter of lenght n
B. P. Alimpić (1971)
Matematički Vesnik
Similarity:
The equivalence of definable quantifiers in second order arithmetic
Wojciech Guzicki (1981)
Fundamenta Mathematicae
Similarity:
Kripke models for intuitionistic theories with decidable atomic formulas.
Marković, Zoran (1984)
Publications de l'Institut Mathématique. Nouvelle Série
Similarity:
Approximating the standard model of analysis
H. Enderton, Harvey Friedman (1971)
Fundamenta Mathematicae
Similarity:
A characterization of expandability of models for ZF to models for KM
Zygmunt Ratajczyk (1981)
Fundamenta Mathematicae
Similarity:
[unknown]
Roman Kossak (1984)
Fundamenta Mathematicae
Similarity: