User user107952

33 votes

2 answers

2k views

Quantifier complexity of the definition of continuity of functions

asked Aug 20, 2023 at 21:54

27 votes

6 answers

2k views

Is this theory the complete theory of the real ordered field?

asked Feb 6, 2021 at 0:37

26 votes

2 answers

3k views

Is there an identity between the commutative identity and the constant identity?

asked Jul 16, 2023 at 20:00

20 votes

3 answers

2k views

Unnecessary uses of the Continuum Hypothesis

asked Feb 22, 2022 at 19:54

17 votes

2 answers

4k views

Is there an identity between the associative identity and the constant identity?

asked Jul 17, 2023 at 14:25

13 votes

0 answers

229 views

Is there a finite equational basis for the join of the commutative and associative equations?

asked Jul 14, 2020 at 15:24

11 votes

1 answer

427 views

Is there a finitely axiomatizable class of structures whose equality-free theory is not finitely axiomatizable?

asked Apr 1, 2022 at 23:56

10 votes

0 answers

416 views

Equational theory in the signature (+,*,0,1) of sedenions and beyond

asked Nov 26, 2019 at 18:36

9 votes

3 answers

698 views

Is there a theory in a finite language that is computably axiomatizable but not by a finite number of axiom schemas?

asked Jun 19, 2020 at 21:55

8 votes

2 answers

585 views

Is the equational theory of groups axiomatized by the associative law?

asked Aug 31, 2019 at 22:23

7 votes

0 answers

294 views

A minimal semigroup generating subset of the additive reals

asked Sep 14, 2022 at 16:53

7 votes

1 answer

453 views

Are no infinite subsets of the set of all propositional atoms definable in this structure, even with parameters?

asked Oct 28, 2022 at 1:14

7 votes

1 answer

330 views

Is the partial order of all equations in the signature of magmas a lattice?

asked Oct 26 at 16:44

5 votes

3 answers

576 views

Is the class of power-associative binars finitely axiomatizable?

asked Jun 6, 2020 at 20:59

4 votes

1 answer

174 views

A question regarding equational bases of the theory of the commutative and associative properties

asked Nov 21, 2021 at 22:43

4 votes

0 answers

556 views

A question regarding the "math tea" argument

asked Jan 13, 2021 at 21:07

4 votes

1 answer

281 views

What is an axiomatization of the equality-free theory of antisymmetric relations?

asked Oct 21, 2022 at 22:52

3 votes

0 answers

48 views

A finitely based consequence relation on 3-valued logic whose algebraic counterpart is not finitely based, and vice versa

asked Jun 28, 2021 at 18:48

3 votes

1 answer

89 views

Is the quasi-equational theory of groups the same as cancellative semigroups?

asked Sep 9, 2019 at 13:46

3 votes

1 answer

168 views

Is the consequence relation of a finite set of boolean connectives finitely generated?

asked Jun 12, 2019 at 21:39

2 votes

1 answer

298 views

Variable numerical quantifiers

asked Dec 12, 2013 at 22:21

2 votes

2 answers

114 views

Defining logical connectives by properties of consequence relations

asked Feb 22, 2022 at 20:05

2 votes

0 answers

178 views

Are there two equations with no equation strictly between them, but at least one quasi-equation between them?

asked Oct 5 at 17:44

1 vote

0 answers

76 views

Is this extension of n-th derivatives to ordinal-indexed derivatives trivial? [duplicate]

asked Oct 8, 2023 at 21:47

1 vote

0 answers

387 views

Mathematical technicalities that few people know [closed]

asked Jun 7, 2022 at 1:38

1 vote

1 answer

67 views

Follow up to a question on equational bases of the theory of the commutative and associative properties

asked Aug 6, 2023 at 19:03

1 vote

0 answers

84 views

Equational identities of unordered $n$-tuples

asked Aug 10, 2023 at 15:42

1 vote

1 answer

187 views

Free monoids and full transformation monoids

asked May 29, 2014 at 3:01

0 votes

1 answer

64 views

Can this string of inequalities take on arbitrary values?

asked Sep 26, 2019 at 20:11

0 votes

1 answer

127 views

An infinite Leibnizian structure in a finite language with precisely $n$ definable elements

asked Jul 29, 2021 at 22:43

Stack Exchange Network

31 Questions

Quantifier complexity of the definition of continuity of functions

Is this theory the complete theory of the real ordered field?

Is there an identity between the commutative identity and the constant identity?

Unnecessary uses of the Continuum Hypothesis

Is there an identity between the associative identity and the constant identity?

Is there a finite equational basis for the join of the commutative and associative equations?

Is there a finitely axiomatizable class of structures whose equality-free theory is not finitely axiomatizable?

Equational theory in the signature (+,*,0,1) of sedenions and beyond

Is there a theory in a finite language that is computably axiomatizable but not by a finite number of axiom schemas?

Is the equational theory of groups axiomatized by the associative law?

A minimal semigroup generating subset of the additive reals

Are no infinite subsets of the set of all propositional atoms definable in this structure, even with parameters?

Is the partial order of all equations in the signature of magmas a lattice?

Is the class of power-associative binars finitely axiomatizable?

A question regarding equational bases of the theory of the commutative and associative properties

A question regarding the "math tea" argument

What is an axiomatization of the equality-free theory of antisymmetric relations?

A finitely based consequence relation on 3-valued logic whose algebraic counterpart is not finitely based, and vice versa

Is the quasi-equational theory of groups the same as cancellative semigroups?

Is the consequence relation of a finite set of boolean connectives finitely generated?

Variable numerical quantifiers

Defining logical connectives by properties of consequence relations

Are there two equations with no equation strictly between them, but at least one quasi-equation between them?

Is this extension of n-th derivatives to ordinal-indexed derivatives trivial? [duplicate]

Mathematical technicalities that few people know [closed]

Follow up to a question on equational bases of the theory of the commutative and associative properties

Equational identities of unordered $n$-tuples

Free monoids and full transformation monoids

Can this string of inequalities take on arbitrary values?

An infinite Leibnizian structure in a finite language with precisely $n$ definable elements