Found 42 Documents (Results 1–42)
A constructive picture of Noetherian conditions and well quasi-orders. (English) Zbl 1536.03029
Della Vedova, Gianluca (ed.) et al., Unity of logic and computation. 19th conference on computability in Europe, CiE 2023, Batumi, Georgia, July 24–28, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13967, 50-62 (2023).
Reviewer: Daniel A. Romano (Banja Luka)
Syntax for semantics: Krull’s maximal ideal theorem. (English) Zbl 1490.13001
Heinzmann, Gerhard (ed.) et al., Paul Lorenzen – mathematician and logician. Contributions presented at the workshop, Konstanz, Germany, March 8–9, 2018. Cham: Springer. Log. Epistemol. Unity Sci. 51, 77-102 (2021).
Reviewer: Radoslav M. Dimitrić (New York)
Corrigendum to: “The Gerstenhaber problem for commuting triples of matrices is ‘decidable’ ”. (English) Zbl 1472.15024
Ring structure theorems and arithmetic comprehension. (English) Zbl 1473.03009
Reviewer: Jeffry L. Hirst (Boone)
Reverse mathematics of rings. arXiv:2109.02037
Preprint, arXiv:2109.02037 [math.LO] (2021).
A course in constructive algebra. Translated from the English by Henri Lombardi and Stefan Neuwirth. (Un cours d’algèbre constructive.) (French) Zbl 1462.03003
Didactiques. Mathématiques. Besançon: Presses Universitaires de Franche-Comté (ISBN 978-2-84867-782-8/pbk). xii, 399 p. (2020).
Reviewer: Ali Benhissi (Monastir)
The Gerstenhaber problem for commuting triples of matrices is “decidable”. (English) Zbl 1436.15018
Commun. Algebra 48, No. 2, 453-466 (2020); corrigendum ibid. 49, No. 11, 5027-5028 (2021).
Constructions cachées en algèbre abstraite. Dimension de Krull, Going Up, Going Down (revised version, 2008). arXiv:1712.04728
Preprint, arXiv:1712.04728 [math.AC] (2017).
Hidden constructions in abstract algebra, Krull Dimension, Going Up, Going Down. arXiv:1712.04725
Preprint, arXiv:1712.04725 [math.AC] (2017).
On commutative rings with uniserial dimension. (English) Zbl 1317.13007
Reviewer: Frieda Theron (Potchefstroom)
Modules which are isomorphic to their factor modules. (English) Zbl 1266.13006
Reviewer: Siamak Yassemi (Tehran)
On the Cantor-Bendixson rank of metabelian groups. (English. French summary) Zbl 1238.20049
Reviewer: Eric Jaligot (Grenoble)
Jónsson modules over Noetherian rings. (English) Zbl 1220.13008
Reviewer: David F. Anderson (Knoxville)
Constructive Krull dimension. I: Integral extensions. (English) Zbl 1172.13007
Reviewer: Radoslav M. Dimitrić (Uniontown)
Heitmann dimension of distributive lattices and commutative rings. (Dimension de Heitmann des treillis distributifs et des anneaux commutatifs.) (French. English summary) Zbl 1158.13308
Algèbre et théorie des nombres. Années 2003–2006. Besançon: Laboratoire de Mathématiques de Besançon. Publications Mathématiques de l’Université de Franche-Comté Besançon. Algèbre et Théorie des Nombres 2003-2006, 57-100 (2006).
Reviewer: Dorin-Mihail Popescu (Bucureşti)
Do Noetherian modules have Noetherian basis functions? (English) Zbl 1145.03342
Beckmann, Arnold (ed.) et al., Logical approaches to computational barriers. Second conference on computability in Europe, CiE 2006, Swansea, UK, June 30–July 5, 2006. Proceedings. Berlin: Springer (ISBN 3-540-35466-2/pbk). Lecture Notes in Computer Science 3988, 481-489 (2006).
The ascending tree condition: constructive algebra without countable choice. (English) Zbl 1099.13511
Effective generators for fuzzy ideals. (English) Zbl 0971.13005
Reviewer: John N.Mordeson (Omaha)
Fuzzy chain subrings and their fuzzy direct sum. (English) Zbl 0941.13008
Reviewer: J.N.Mordeson (Omaha)
Extensions of three classical theorems to modules with maximum condition for finite matrix subgroups. (English) Zbl 0937.16034
Reviewer: M.Prest (Manchester)
The regular element property. (English) Zbl 0893.03024
Minimal generating systems for fuzzy ideals. (English) Zbl 0835.13008
Reviewer: E.Kerré (Gent)
Model theoretic algebra: with particular emphasis on fields, rings, modules. (English) Zbl 0728.03026
Algebra, Logic and Applications, 2. New York etc.: Gordon and Breach Science Publishers. xiii, 443 p. (1989).
Reviewer: Hans-Jürgen Vogel (Potsdam)
Algebraic compactness of ultrapowers and representation type. (English) Zbl 0639.16007
Reviewer: C.U.Jensen
Model theory and modules. (English) Zbl 0634.03025
London Mathematical Society Lecture Note Series, 130. Cambridge etc.: Cambridge University Press. XVIII, 380 p.; £22.50; $ 37.50 (1988).
Reviewer: Hirokazu Nishimura (Tsukuba)
Separated ultraproducts and big Cohen-Macaulay modules. (English) Zbl 0654.13023
Commutative algebra and combinatorics, US-Jap. joint Semin., Kyoto/Jap. 1985, Adv. Stud. Pure Math. 11, 355-359 (1987).
Reviewer: N.Radu
Elementary theories of finitely generated pro-p-rings. (Russian) Zbl 0622.13009
Reviewer: J.Monk
Construction of finitely generated submodules of constructively Noetherian modules. (English) Zbl 0622.13006
Reviewer: D.A.Jordan
Varieties of constructive mathematics. (English) Zbl 0618.03032
London Mathematical Society Lecture Note Series, 97. Cambridge etc.: Cambridge University Press. X, 149 p.; £10.95; $ 19.95 (1987).
Reviewer: B.v.Rootselaar
An ideal-theoretical approach to word problems and unification problems over finitely presented commutative algebras. (English) Zbl 0581.68039
Rewriting techniques and applications, 1st Int. Conf., Dijon/France 1985, Lect. Notes Comput. Sci. 202, 345-364 (1985).
Survey of constructions in noetherian rings. (English) Zbl 0579.13008
Recursion theory, Proc. AMS-ASL Summer Inst., Ithaca/N.Y. 1982, Proc. Symp. Pure Math. 42, 377-386 (1985).
Reviewer: N.Mohan Kumar
On the Lasker-Noether decomposition theorem. (English) Zbl 0567.13006
Reviewer: Y.Lequain
Elementary theory of a finitely generated commutative ring. (English. Russian original) Zbl 0524.13014
Math. Notes 33, 12-15 (1983); translation from Mat. Zametki 33, No. 1, 23-29 (1983).
Filter Results by …
Document Type
- Journal Articles (28)
- Collection Articles (7)
- Books (4)
- arXiv Preprints (3)
all
top 5
Author
- Richman, Fred (5)
- Coquand, Thierry (4)
- Lombardi, Henri (4)
- Jensen, Christian Ulrik (3)
- Oman, Greg G. (3)
- Jaballah, Ali (2)
- O’Meara, Kevin C. (2)
- Quitté, Claude (2)
- Ruitenburg, Wim B. G. (2)
- Salminen, Adam (2)
- Schuster, Peter Michael (2)
- Seidenberg, Abraham (2)
- Alkhamees, Yousef (1)
- Barrett, Jordan Mitchell (1)
- Bhaskar, L. (1)
- Blechschmidt, Ingo (1)
- Bridges, Douglas Suth (1)
- Buriola, Gabriele (1)
- Caceres-Duque, Luis F. (1)
- Conidis, Chris J. (1)
- de Cornulier, Yves (1)
- Ducos, Lionel (1)
- Ghorbani, Atefeh (1)
- Huisgen-Zimmermann, Birge (1)
- Kandri-Rody, Abdelilah (1)
- Kapur, Deepak (1)
- Lenzing, Helmut (1)
- Mines, Ray (1)
- Mordeson, John N. (1)
- Narendran, Paliath (1)
- Nazemian, Zahra (1)
- Nelson, George C. (1)
- Noskov, Guennadi A. (1)
- Pakhotin, E. N. (1)
- Perdry, Hervé (1)
- Point, Françoise (1)
- Prest, Mike (1)
- Rao, A. K. S. Chandrasekhar (1)
- Schoutens, Hans (1)
- Srinivas, T. (1)
- Wessel, Daniel (1)
- Wu, Huishan (1)
- Yoshino, Yuji (1)
- Zappe, Júlia (1)
- Zimmermann, Wolfgang (1)
all
top 5
Serial
- Commun. Algebra (6)
- Proc. Am. Math. Soc. (2)
- Soochow J. Math. (2)
- J. Algebra Appl. (2)
- Lond. Math. Soc. Lect. Note Ser. (2)
- Math. Notes (1)
- Adv. Math. (1)
- Am. J. Math. (1)
- Ann. Inst. Fourier (1)
- Can. Math. Bull. (1)
- Compos. Math. (1)
- Fuzzy Sets Syst. (1)
- J. Lond. Math. Soc., II. Ser. (1)
- J. Symb. Log. (1)
- Pac. J. Math. (1)
- Sib. Mat. Zh. (1)
- Bull. Soc. Math. Belg., Sér. B (1)
- Forum Math. (1)
- Arch. Math. Logic (1)
- Math. Log. Q. (1)
- Algebra Log. Appl. (1)
- Palest. J. Math. (1)
- Didact. (1)
Biographic Reference
- Lorenzen, Paul (1)