Barwise Sentence Examples

Kreisel's suggestion was taken up with great success by Barwise [1967 ], where his compactness theorem was proved.

Karp's partial isomorphism theorem was first proved in Karp [1965]; see also Barwise [1973] .

Kreisel 's suggestion was taken up with great success by Barwise [1967 ], where his compactness theorem was proved.