36

Answers
votes newest views recent
5
Heuristic argument that finite simple groups _ought_ to be “classifiable”?
8
Which graphs are elementarily equivalent to their own disjoint sums?
6
Model theory stressing order type of universe.
4
Complete Extensions of First Order Logic (or Language)
5
Three questions on large simple groups and model theory
9
Geometric flavored textbook on algebra
6
Choice vs. countable choice
3
Where’s the notion of interpretation (model) originally introduced?
6
Are there nonequivalent randomnesses?
5
What is the general opinion on the Generalized Continuum Hypothesis?
3
Can we recognize when a category is equivalent to the category of models of a first order theory?
2
Can infinite first-order categories be specified other than as categories of models?
5
Isomorphism types or structure theory for nonstandard analysis
8
What are some results in mathematics that have snappy proofs using model theory? (2)
10
Pedagogical question about linear algebra
2
categorification of logic
6
What is a logic ?
13
Alternative axiom to induction
1
Tropicalizing the learning
3
A problem of an infinite number of balls and an urn
27
Model theoretic applications to algebra and number theory(Iwasawa Theory)
3
How to respond to “I was never much good at maths at school.”
3
Independence from Set Theory Axioms
3
How does one identify properties of objects with good “inheritance”?
6
What are some reasonable-sounding statements that are independent of ZFC?
10
Where are some interesting places where the axiom of choice crops up in category theory?
7
Algebraically closed fields of positive characteristic
12
A few questions on model theory, especially model theory of rings
2
Do good math jokes exist?
37
When does Cantor-Bernstein hold?
1 2 next