scientific article; zbMATH DE number 3554471

MaRDI QIDQ4128955zbMATH OpenFDO

Authors Myles Tierney

Publication date 1976

Mathematics Subject Classification ID

Grothendieck topologies and Grothendieck topoi (18F10) Foundations, relations to logic and deductive systems (18A15)

Cited in

(20)

• The Michael completion of a topos spread
• Ideal presentations and numberings of some classes of effective quasi-Polish spaces
• On the Weihrauch degree of the additive Ramsey theorem
• On the first-order parts of problems in the Weihrauch degrees
• Hilbert's tenth problem for term algebras with a substitution operator
• Defining long words succinctly in FO and MSO
• Complemented subsets and Boolean-valued, partial functions
• Algorithmically random series
• Lower bounds on () and other properties of -register machines
• Reifying dynamical algebra: maximal ideals in countable rings, constructively
• Rings, fields, and spectra
• Theories of presheaf type
• Diego's theorem for nuclear implicative semilattices
• Continuous categories and exponentiable toposes
• Classifying topoi and finite forcing
• Galois theory in a topos
• Galois theory and theaters of action in a topos
• Separable algebraic closure in a topos
• Precategory objects of toposes
• Seven trees in one

This page was built for publication:

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