A constructive picture of Noetherian conditions and well quasi-orders
From MaRDI portal
Publication:6149029
DOI10.1007/978-3-031-36978-0_5OpenAlexW4384788240MaRDI QIDQ6149029
No author found.
Publication date: 12 January 2024
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-031-36978-0_5
Combinatorics of partially ordered sets (06A07) Commutative Noetherian rings and modules (13E05) Algebraic aspects of posets (06A11) Other constructive mathematics (03F65)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Brouwer's fan theorem as an axiom and as a contrast to Kleene's alternative
- Realizability. An introduction to its categorical side
- What's so special about Kruskal's theorem and the ordinal \(\Gamma{}_ 0\)? A survey of some results in proof theory
- Standard bases for general coefficient rings and a new constructive proof of Hilbert's basis theorem
- A course in constructive algebra
- Computability-theoretic and proof-theoretic aspects of partial and linear orderings
- An intuitionistic proof of Kruskal's theorem
- Exploring mathematical objects from custom-tailored mathematical universes
- Constructive commutative algebra. Projective modules over polynomial rings and dynamical Gröbner bases
- Strongly Noetherian rings and constructive ideal theory
- Noetherian orders
- Error and Predicativity
- The Reverse Mathematics of wqos and bqos
- Modular correspondence between dependent type theories and categories including pretopoi and topoi
- Finite Methods in Mathematical Practice
- What is Noetherian?
- Infinite time Turing machines
- The Ascending Tree Condition: Constructive Algebra Without Countable Choice
- Generalized Spaces for Constructive Algebra
- A MARRIAGE OF BROUWER’S INTUITIONISM AND HILBERT’S FINITISM I: ARITHMETIC
- Ideals, Varieties, and Algorithms
- Reverse mathematics and the equivalence of definitions for well and better quasi-orders
- Constructive Aspects of Noetherian Rings
- An injection from the Baire space to natural numbers
- Ordering by Divisibility in Abstract Algebras