Functional Thesauri, Classifying Topoi, Unification, and Flatness

DOI10.1007/978-3-030-48006-6_4OpenAlexW3026803062MaRDI QIDQ5049038

Andreas Blass

Publication date: 9 November 2022

Published in: Fields of Logic and Computation III (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-030-48006-6_4

zbMATH Keywords

unificationflat functorsclassifying topoithesauri

Mathematics Subject Classification ID

Logic in computer science (03B70) Theory of computing (68Qxx)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Classifying topoi and finite forcing
• Change of base for toposes with generators
• FI-modules and stability for representations of symmetric groups
• Seminar of algebraic geometry du Bois-Marie 1963--1964. Topos theory and étale cohomology of schemes (SGA 4). Vol. 1: Topos theory. Exp. I--IV
• Forcing and classifying topoi
• Strong extension axioms and Shelah's zero-one law for choiceless polynomial time

This page was built for publication: Functional Thesauri, Classifying Topoi, Unification, and Flatness