Pages that link to "Item:Q3422024"
From MaRDI portal
The following pages link to A logical approach to abstract algebra (Q3422024):
Displayed 27 items.
- A universal Krull-Lindenbaum theorem (Q273003) (← links)
- A formal proof of the projective Eisenbud-Evans-Storch theorem (Q444111) (← links)
- Constructive finite free resolutions (Q663308) (← links)
- The basic Zariski topology (Q887823) (← links)
- A mechanized proof of the basic perturbation lemma (Q928666) (← links)
- Space of valuations (Q1006605) (← links)
- Eliminating disjunctions by disjunction elimination (Q1688959) (← links)
- Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 5--11, 2017 (Q1731963) (← links)
- Towards formal Baer criteria (Q2099403) (← links)
- Maximal ideals in countable rings, constructively (Q2104249) (← links)
- Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 8--14, 2020 (hybrid meeting) (Q2232317) (← links)
- Cut elimination for entailment relations (Q2312091) (← links)
- Spectral schemes as ringed lattices (Q2379681) (← links)
- A constructive notion of codimension (Q2445023) (← links)
- A universal algorithm for Krull's theorem (Q2672666) (← links)
- Noetherian orders (Q3081324) (← links)
- On the Constructive and Computational Content of Abstract Mathematics (Q3305627) (← links)
- On some peculiar aspects of the constructive theory of point-free spaces (Q3583800) (← links)
- Un anneau de Prüfer (Q4682433) (← links)
- Syntax for Semantics: Krull’s Maximal Ideal Theorem (Q5024726) (← links)
- THE JACOBSON RADICAL OF A PROPOSITIONAL THEORY (Q5085858) (← links)
- Spectral Spaces Versus Distributive Lattices: A Dictionary (Q5119701) (← links)
- ELIMINATING DISJUNCTIONS BY DISJUNCTION ELIMINATION (Q5363372) (← links)
- Constructing Gröbner bases for Noetherian rings (Q5740356) (← links)
- Maximal elements with minimal logic (Q6161463) (← links)
- Valuative Lattices and Spectra (Q6190905) (← links)
- Valuative dimension, constructive points of view (Q6203783) (← links)