scientific article; zbMATH DE number 7800541
From MaRDI portal
Publication:6190487
arXiv2112.06828MaRDI QIDQ6190487
Jean Goubault-Larrecq, Bastien Laboureix
Publication date: 6 February 2024
Full work available at URL: https://arxiv.org/abs/2112.06828
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- A theory of length for Noetherian modules
- D-completions and the \(d\)-topology
- Dimension de Krull des ensembles ordonnés. (Krull dimension of ordered sets)
- Harvey Friedman's research on the foundations of mathematics
- Theory of relations. Transl. from the French by P. Clote
- On the sobrification remainder sX-X
- The relation between the height of a well-founded partial ordering and the order types of its chains and antichains
- Proof-theoretic investigations on Kruskal's theorem
- The Krull ordinal and length of a Noetherian module
- Complexity bounds for some finite forms of Kruskal's theorem
- Well-partial-orderings and the big Veblen number
- Minimal \(T_0\)-spaces and minimal \(T_{D}\)-spaces
- Descending chains and the Krull ordinal of commutative Noetherian rings
- Multiply-Recursive Upper Bounds with Higman’s Lemma
- The Ideal Approach to Computing Closed Subsets in Well-Quasi-orderings
- Forward analysis for WSTS, part I: completions
- A Computation of the Maximal Order Type of the Term Ordering on Finite Multisets
- Noetherian Spaces in Verification
- Une extension d'un théorème de P. Jullien sur les âges de mots
- Orderings of monomial ideals
- Non-Hausdorff Topology and Domain Theory
- Infinitary Noetherian constructions I. Infinite words
- Program termination and well partial orderings
- Partially well ordered sets and partial ordinals
- On Context-Free Languages
- On a Reflective Subcategory of the Category of all Topological Spaces
- Ordering by Divisibility in Abstract Algebras
- Partial well‐ordering of sets of vectors
- Well-structured transition systems everywhere!
