Functional Thesauri, Classifying Topoi, Unification, and Flatness

DOI10.1007/978-3-030-48006-6_4MaRDI QIDQ5049038zbMATH OpenOpenAlexFDO

Authors 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

classifying topoiflat functorsthesauriunification

Mathematics Subject Classification ID

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

Cites work

• Change of base for toposes with generators
• Classifying topoi and finite forcing
• FI-modules and stability for representations of symmetric groups
• Forcing and classifying topoi
• scientific article; zbMATH DE number 3574077 (Why is no real title available?)
• scientific article; zbMATH DE number 4114627 (Why is no real title available?)
• 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
• Strong extension axioms and Shelah's zero-one law for choiceless polynomial time
• Zero-one laws: thesauri and parametric conditions.

Cited in

(1)

• scientific article; zbMATH DE number 431773 (Why is no real title available?)

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5049038)