A patching lemma

DOI10.1305/ndjfl/1093887438zbMath0305.02072OpenAlexW2069826010WikidataQ124914284 ScholiaQ124914284MaRDI QIDQ1217122

J. M. Plotkin, Kenneth Keller Hickin

Publication date: 1976

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1305/ndjfl/1093887438

Mathematics Subject Classification ID

Permutations, words, matrices (05A05) Axiomatics of classical set theory and its fragments (03E30)

Related Items

Galois representations arising from some compact Shimura varieties ⋮ Amorphe Potenzen kompakter Räume