Tour
About Us
Meta
Loading…
current community
Stack Exchange
chat
Meta Stack Exchange
your communities
Sign up
or
log in
to customize your list.
more stack exchange communities
company blog
Log in
Stack Exchange
All Sites
Top Users
Digests
boumol
top
accounts
reputation
activity
subscriptions
Top Questions
10
votes
A question on linear orders and elementary equivalence
logic
model-theory
asked Jun 2, 2011 at 12:49
math.stackexchange.com
8
votes
The first-order theory of linear orders given by closed subsets
logic
model-theory
asked Jun 2, 2011 at 21:54
math.stackexchange.com
8
votes
Software for some universal algebra issues
math-software
universal-algebra
asked Oct 22, 2011 at 10:23
math.stackexchange.com
6
votes
Example of an UnDecidable Logical Theory which is an extension of a Logical Decidable Theory?
logic
computability
model-theory
asked Jan 30, 2011 at 17:46
math.stackexchange.com
5
votes
Mutual Uniqueness of Operations in PA models
logic
model-theory
asked May 11, 2012 at 17:24
math.stackexchange.com
Top Answers
16
Best Fake Proofs? (A M.SE April Fools Day collection)
math.stackexchange.com
12
Is there an easy way to see associativity or non-associativity from an operation's table?
math.stackexchange.com
10
Is there anything deep about Fuzzy sets/Fuzzy logic?
math.stackexchange.com
7
Arrows between arrows
tex.stackexchange.com
5
Confusion of the decidability of $(N,s)$
math.stackexchange.com
5
Illustrative examples of a phenomenon in the logic of mathematical induction
math.stackexchange.com
Stack Exchange works best with JavaScript enabled