Exploring mathematical objects from custom-tailored mathematical universes
From MaRDI portal
Publication:2080581
Recommendations
Cites work
- A course in constructive algebra
- A topos for algebraic quantum theory
- An induction principle for consequence in arithmetic universes
- An injection from the Baire space to natural numbers
- Are the traditional philosophies of mathematics really incompatible?
- Categorical foundations of mathematics. Or how to provide foundations for abstract mathematics.
- Commutative algebra: constructive methods. Finite projective modules. Translated from the French by Tania K. Roblot
- Exploring Categorical Structuralism
- Forcing for IZF in sheaf toposes
- Higher-order computability
- scientific article; zbMATH DE number 5695342 (Why is no real title available?)
- scientific article; zbMATH DE number 3825806 (Why is no real title available?)
- scientific article; zbMATH DE number 4070894 (Why is no real title available?)
- scientific article; zbMATH DE number 3183055 (Why is no real title available?)
- scientific article; zbMATH DE number 48990 (Why is no real title available?)
- scientific article; zbMATH DE number 626734 (Why is no real title available?)
- scientific article; zbMATH DE number 1840601 (Why is no real title available?)
- scientific article; zbMATH DE number 3285221 (Why is no real title available?)
- scientific article; zbMATH DE number 3389141 (Why is no real title available?)
- Infinite sets that satisfy the principle of omniscience in any variety of constructive mathematics
- Infinite time Turing machines
- Realizability. An introduction to its categorical side
- Relating first-order set theories, toposes and categories of classes
- Set Theory and Structures
- Sheaf models for set theory
- Sheaves in geometry and logic: a first introduction to topos theory
- Sketches for arithmetic universes
- Synthetic differential geometry
- The set-theoretic multiverse
- The Uses and Abuses of the History of Topos Theory
- Theories, sites, toposes. Relating and studying mathematical theories through topos-theoretic `bridges'
- Topoi. The categorial analysis of logic. Rev. ed
- Topos perspective on the Kochen-Specker theorem. I: Quantum states as generalized valuations
Cited in
(13)- A constructive picture of Noetherian conditions and well quasi-orders
- Exploring mathematical objects from custom-tailored mathematical universes
- Anabelian arithmetic geometry -- a new geometry of forms and numbers: inter-universal Teichmüller theory or ``Beyond Grothendieck's vision
- On the Weihrauch degree of the additive Ramsey theorem
- Hilbert's tenth problem for term algebras with a substitution operator
- Complemented subsets and Boolean-valued, partial functions
- Defining long words succinctly in FO and MSO
- On the first-order parts of problems in the Weihrauch degrees
- Algorithmically random series
- Ideal presentations and numberings of some classes of effective quasi-Polish spaces
- Lower bounds on () and other properties of -register machines
- Reifying dynamical algebra: maximal ideals in countable rings, constructively
- Higher-order Platonism and multiversism
This page was built for publication: Exploring mathematical objects from custom-tailored mathematical universes
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2080581)
