Reifying dynamical algebra: Maximal ideals in countable rings, constructively

Article Properties
  • DOI (url)
    10.3233/com-230454
  • Publication Date
    2024/04/26
  • Journal
    Computability
  • Indian UGC (journal)
  • Refrences
    135
  • Ingo Blechschmidt Institut für Mathematik, Universität Augsburg, Germany
  • Peter Schuster Dipartimento di Informatico, Università di Verona, Italy
Abstract
Journal Category
Technology
Technology (General)
Industrial engineering
Management engineering
Applied mathematics
Quantitative methods
Refrences
Title Journal Journal Categories Citations Publication Date
The Jacobson radical for an inconsistency predicate 2022
A RECONSTRUCTION OF STEEL’S MULTIVERSE PROJECT

 The Bulletin of Symbolic Logic
  • Science: Mathematics
  • Science: Mathematics
 5 2020
Ordering groups constructively Communications in Algebra
  • Science: Mathematics
 6 2019
Eliminating disjunctions by disjunction elimination Indagationes Mathematicae
  • Science: Mathematics
 13 2018
ELIMINATING DISJUNCTIONS BY DISJUNCTION ELIMINATION

 The Bulletin of Symbolic Logic
  • Science: Mathematics
  • Science: Mathematics
 13 2017