-satisfiability, -consistency property, and the downward Lowenheim Skolem theorem for
Consistency property and model existence theorem for second order negative languages with conjunctions and quantifications over sets of cardinality smaller than a strong limit cardinal of denumerable cofinality
Limits to some interpolation theorems
Seq-consistency property and interpolation theorems
Strong Maehara and Takeuti type interpolation theorems for
-satisfiability, -consistency property, the downward Lowenheim Skolem theorem, and the failure of the interpolation theorem for with a strong limit cardinal of cofinality
Strong Maehara and Takeuti type interpolation theorems for
Una nota sulla nozione di molto maggiore
An analysis of Karp’s interpolation theorem and the notion of -consistency property
Page 1