Ingo Blechschmidt

Available identifiers

zbMath Open blechschmidt.ingoMaRDI QIDQ2080580

List of research outcomes

Publication	Date of Publication	Type
Exploring mathematical objects from custom-tailored mathematical universes	2022-10-09	Paper
Maximal ideals in countable rings, constructively	2022-07-08	Paper
Generalized spaces for constructive algebra	2022-06-17	Paper
Exploring mathematical objects from custom-tailored mathematical universes	2022-04-02	Paper
Using the internal language of toposes in algebraic geometry	2021-11-05	Paper
Generalized spaces for constructive algebra	2020-12-26	Paper
A constructive Knaster-Tarski proof of the uncountability of the reals	2019-02-19	Paper
Flabby and injective objects in toposes	2018-10-30	Paper
An elementary and constructive proof of Grothendieck's generic freeness lemma	2018-07-03	Paper

Research outcomes over time

This page was built for person: Ingo Blechschmidt