# Tagged Questions

240 views

### Computability of Brauer groups

A friend of mine and I were talking about computable algebra, and this question came up. The answer may already be known, but I couldn't find it with Google: Suppose I have a countable field, $k$. ...
166 views

### Is there an intuitionistic generalized boolean algebra (of Stone)?

A "boolean algebra without the greatest element" was called by Stone "generalized boolean algebra" and he axiomatized it. Is there any publication about "preudo-boolean algebras without the greatest ...
259 views

### on the Axiom of Choice and the Spectrum of Rings

consider the following theorem, when $R$ is a commutative ring with a non-zero identity: A ring $R$ is zero-dimensional if and only if $\mbox{Spec(R)}$ is Hausdorff. The proof uses the Axiom of ...
168 views

### Is a variety of algebras a set?

Let $K$ be a field and $K\{X\}$ be the free non-associative algebra, freely generated by the countably infinite set $X$. We consider elements of $K\{X\}$ as (non-associative) polynomials in the ...
411 views

### Nice Algebraic Statements Independent from ZF + V=L (constructibility)

Background and Motivation I've always been fascinated about algebraic statements independent from ZFC set theory. One such fascinating example comes from considering ...
855 views

### Continuum Hypothesis

I am new here, so forgive me if this question does not satisfy the protocols of the site. I know there are so many equivalents to the AC (axiom of choice) and there are books that lists this ...
716 views

### finite dimensional real division algebras

A celebrated theorem of Milnor and Kervaire asserts that any finite dimensional division algebra over the real numbers has dimension 1,2,4 or 8. This result is established using methods from algebraic ...
311 views

### Is the class of additive groups of rings axiomatizable?

I know that it is impossible to axiomatize the multiplicative structures of rings, called $R$-semigroups. Is anything known about the first-order axiomatizability of the class of abelian groups which ...
305 views

### Complete De Morgan algebra

Recall that an algebra $(A,\sim)$ is a De Morgan algebra if $A$ is a bounded distributive lattice and $\sim$ is a unary operation which satisfies: ${\sim} (x\vee y)={\sim} x\wedge {\sim} y$ and ...
457 views

### Is there something like a Heyting Ring?

I would like to know whether a Heyting algebra gives rise to ring in a similar way that a Boolean algebra gives rise to a Boolean ring. In a Boolean algebra $(B,\lor,\land,\lnot,0,1)$ I can define ...
615 views

### Are wild problems related to undecidable ones?

In representation theory, there is a well-known notion of a wild classification problem (such problems have been discussed often on this forum, for example, here). In logic, there is a notion of an ...
845 views

### Non-Standard Prime

Hello, My question is about the non-standard models of the integers. If we add to the Peano's axioms $P$ of arithmetic the following axioms for a fixed constant $c$: $c \neq 0$, $c \neq 1$, \$c \neq ...
3k views

### Can we unify addition and multiplication into one binary operation? To what extent can we find universal binary operations?

The question is the extent to which we can unify addition and multiplication, realizing them as terms in a single underlying binary operation. I have a number of questions. Is there a binary ...
713 views

### Construction of a maximal ideal

Hello, Let R denote the ring of continuous functions defined on the real line, let I in R be the ideal consisting of functions with compact support. Obviously, I is not maximal, and by Zorn's Lemma ...
575 views

### Can the Knaster-Tarski theorem be proved using the Schroeder-Bernstein theorem?

The reverse can be done easily and the proof is well known I am wondering if the exact same argument can be used to prove reverse as well.
678 views

### Decidability of matrix algebra

Take multi-sorted first-order logic with equality, complex scalars, 1xn vectors, nx1 vectors, nxn matrices, addition and multiplication for each pair of sorts they make sense for, and hermitian ...