https://github.com/iblech/constructive-maximal-ideals

Reifying dynamical algebra: maximal ideals in countable rings, constructively
https://github.com/iblech/constructive-maximal-ideals

agda constructive-mathematics forcing mathematics paper ring-theory

Last synced: 1 day ago
JSON representation

Reifying dynamical algebra: maximal ideals in countable rings, constructively

• Host: GitHub
• URL: https://github.com/iblech/constructive-maximal-ideals
• Owner: iblech
• Created: 2021-11-29T08:31:05.000Z (almost 3 years ago)
• Default Branch: main
• Last Pushed: 2024-03-11T10:20:33.000Z (8 months ago)
• Last Synced: 2024-03-12T01:35:40.869Z (8 months ago)
• Topics: agda, constructive-mathematics, forcing, mathematics, paper, ring-theory
• Language: TeX
• Homepage: https://iblech.github.io/constructive-maximal-ideals/
• Size: 5.34 MB
• Stars: 4
• Watchers: 1
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README

        
This is the repository accompanying the paper *Reifying dynamical algebra:

maximal ideals in countable rings, constructively* by Ingo Blechschmidt and

Peter Schuster.

[A (partial) hyperlinked Agda formalization is available.](https://iblech.github.io/constructive-maximal-ideals/)