Exploring mathematical objects from custom-tailored mathematical universes
From MaRDI portal
Publication:2080581
DOI10.1007/978-3-030-84706-7_4OpenAlexW4230742025MaRDI QIDQ2080581
Publication date: 9 October 2022
Full work available at URL: https://arxiv.org/abs/2204.00948
Related Items
Cites Work
- Relating first-order set theories, toposes and categories of classes
- An induction principle for consequence in arithmetic universes
- Topoi. The categorial analysis of logic. Rev. ed
- Realizability. An introduction to its categorical side
- A topos for algebraic quantum theory
- Sheaf models for set theory
- Sheaves in geometry and logic: a first introduction to topos theory
- A course in constructive algebra
- Topos perspective on the Kochen-Specker theorem. I: Quantum states as generalized valuations
- Are the traditional philosophies of mathematics really incompatible?
- Commutative algebra: constructive methods. Finite projective modules. Translated from the French by Tania K. Roblot
- Theories, Sites, Toposes
- Infinite sets that Satisfy the Principle of Omniscience in any Variety of Constructive Mathematics
- THE SET-THEORETIC MULTIVERSE
- Higher-Order Computability
- The Uses and Abuses of the History of Topos Theory
- Exploring Categorical Structuralism
- Infinite time Turing machines
- CATEGORICAL FOUNDATIONS OF MATHEMATICS OR HOW TO PROVIDE FOUNDATIONS FORABSTRACTMATHEMATICS
- Sketches for arithmetic universes
- An injection from the Baire space to natural numbers
- Set Theory and Structures
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: Exploring mathematical objects from custom-tailored mathematical universes
