Maximal Ideals in Countable Rings, Constructively (Englisch)
- Neue Suche nach: Blechschmidt, Ingo
- Neue Suche nach: Schuster, Peter
- Neue Suche nach: Blechschmidt, Ingo
- Neue Suche nach: Schuster, Peter
In:
Revolutions and revelations in computability
; 24-38
;
2022
-
ISBN:
- Aufsatz (Konferenz) / Print
-
Titel:Maximal Ideals in Countable Rings, Constructively
-
Beteiligte:Blechschmidt, Ingo ( Autor:in ) / Schuster, Peter ( Autor:in )
-
Kongress:CiE ; 18. ; 2022 ; Swansea
-
Erschienen in:
-
Verlag:
- Neue Suche nach: Springer Nature
-
Erscheinungsort:Cham, Switzerland
-
Erscheinungsdatum:2022
-
ISBN:
-
Medientyp:Aufsatz (Konferenz)
-
Format:Print
-
Sprache:Englisch
- Neue Suche nach: 00B25 / 68-06 / 68Qxx
- Weitere Informationen zu Mathematics Subject Classification
- Neue Suche nach: 518.1
- Weitere Informationen zu Dewey Decimal Classification
- Neue Suche nach: 54.10
- Weitere Informationen zu Basisklassifikation
-
Schlagwörter:
-
Klassifikation:
-
Datenquelle:
Die Inhaltsverzeichnisse werden automatisch erzeugt und basieren auf den im Index des TIB-Portals verfügbaren Einzelnachweisen der enthaltenen Beiträge. Die Anzeige der Inhaltsverzeichnisse kann daher unvollständig oder lückenhaft sein.
- 1
-
Calculating the Mind Change Complexity of Leaming Algebraic StructuresBazhenov, Nikolay / Cipriani, Vittorio / Mauro, Luca San. et al. | 2022
- 13
-
Well-Orders Realized by C.E. Equivalence RelationsBazhenov, Nikolay / Zubkov, Maxim et al. | 2022
- 24
-
Maximal Ideals in Countable Rings, ConstructivelyBlechschmidt, Ingo / Schuster, Peter et al. | 2022
- 39
-
Programming with Ordinary Differential Equations: Some First Steps Towards a Programming LanguageBournez, Olivier et al. | 2022
- 52
-
A Game-Theoretic Approach for the Synthesis of Complex SystemsBruyère, Véronique et al. | 2022
- 64
-
Lower Bounds on ß(α)Carl, Merlin et al. | 2022
- 74
-
Proof Complexity of Monotone Branching ProgramsDas, Anupam / Delkos, Avgerinos et al. | 2022
- 88
-
Enumerating Classes of Effective Quasi-Polish SpacesBrecht, Matthew de / Kihara, Takayuki / Selivanov, Victor et al. | 2022
- 103
-
Maps of Restrictions for Behaviourally Correct LeamingDoskoč, Vanja / Kötzing, Timo et al. | 2022
- 115
-
An Extension of the Equivalence Between Brouwer’s Fan Theorem and Weak König’s Lemma with a Uniqueness HypothesisFujiwara, Makoto et al. | 2022
- 125
-
Defining Long Words Succinctly in FO and MSOHella, Lauri / Vilander, Miilkka et al. | 2022
- 139
-
Processing Natural Language with Biomolecules: Where Linguistics, Biology and Computation MeetLópez, M. Dolores Jiménez et al. | 2022
- 151
-
Strong Medvedev Reducibilities and the KL-Randomness ProblemKios-Hanssen, Bjøern / Webb, David J. et al. | 2022
- 162
-
On the Necessity of Some Topological SpacesLubarsky, Robert S. et al. | 2022
- 172
-
On the Compatibility Between the Minimalist Foundation and Constructive Set TheoryMaschio, Samuele / Sabelli, Pietro et al. | 2022
- 186
-
Reducing Reachability in Temporal Graphs: Towards a More Realistic Model of Real-World Spreading ProcessesMeeks, Kitty et al. | 2022
- 196
-
Hilbert’s Tenth Problem for Term Algebras with a Substitution OperatorMurwanashyaka, Juvenal et al. | 2022
- 208
-
Weak Sequential Theories of Finite Full Binary TreesMurwanashyaka, Juvenal et al. | 2022
- 220
-
On Envelopes and Backward Approximations.Neumann, Eike et al. | 2022
- 234
-
On Trees Without Hyperimmune BranchesNg, Keng Meng / Stephan, Frank / Yang, Yue / Yu, Liang et al. | 2022
- 246
-
Algebras of Complemented SubsetsPetrakis, Tosif / Wessel, Daniel et al. | 2022
- 259
-
On the Weihrauch Degree of the Additive Ramsey Theorem over the RationalsPradic, Pierre / Solda, Giovanni et al. | 2022
- 272
-
Reverse Mathematics of the Uncountability of RSanders, Sam et al. | 2022
- 287
-
Boole vs Wadge: Comparing Two Basic Tools of Descriptive Set TheorySelivanov, Victor et al. | 2022
- 299
-
Computational Complexity of Classical Solutions of Partial Differential EquationsSelivanova, Svetlana et al. | 2022
- 313
-
Barendregt’s Problem #26 and Combinatory Strong ReductionStirton, William et al. | 2022