Ingo Blechschmidt

Orcid: 0000-0002-4210-1622

Affiliations:

According to our database¹, Ingo Blechschmidt authored at least 2 papers between 2022 and 2023.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2023

A Constructive Picture of Noetherian Conditions and Well Quasi-orders.

[BibT_eX]

[DOI]

Proceedings of the Unity of Logic and Computation, 2023

2022

Maximal Ideals in Countable Rings, Constructively.

[BibT_eX]

[DOI]

Proceedings of the Revolutions and Revelations in Computability, 2022