User user107952

Stats

2,013

reputation

20k

reached

answers

questions

Loading…

Communities

View all

Badges

View all badges

This user doesn’t have any gold badges yet.

silver badges

Constituent

Apr 5, 2021
Good Question

× 3

Nov 29
Notable Question

× 2

Nov 27

bronze badges

Benefactor

Nov 19
Promoter

Nov 30, 2019
Citizen Patrol

Feb 22, 2022

Top tags

View all tags

lo.logic

Score

Posts

Posts %

universal-algebra

Score

Posts

Posts %

model-theory

Score

Posts

Posts %

semigroups-and-monoids

Score

Posts

Posts %

definability

Score

Posts

Posts %

gr.group-theory

Score

Posts

Posts %

Top posts

View all questions and answers

Quantifier complexity of the definition of continuity of functions

Aug 20, 2023

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

Feb 6, 2021

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

Jul 16, 2023

Unnecessary uses of the Continuum Hypothesis

Feb 22, 2022

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

Jul 17, 2023

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

Jul 14, 2020

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

Apr 1, 2022

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

Nov 26, 2019

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

Jun 19, 2020

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

Aug 31, 2019