Hickin, K. K.; Plotkin, J. M. A patching lemma. (English) Zbl 0305.02072 Notre Dame J. Formal Logic 17, 158-160 (1976). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page Cited in 2 Documents MSC: 03E30 Axiomatics of classical set theory and its fragments 05A05 Permutations, words, matrices × Cite Format Result Cite Review PDF Full Text: DOI