This tag is for questions seeking external references (books, articles, etc.) about a particular subject. Please do not use this as the only tag for a question.

learn more… | top users | synonyms (3)

1
vote
2answers
77 views
+50

Modules that have finitely many submodules

Drawing the lattice of submodules of a given module helps me to gain some intuition about the structure of module. Sometimes, however, it is not possible to draw in neat manner; For example vector ...
2
votes
0answers
54 views
+50

Reference request: fixed point and first-order logics

I'm looking for materials on the relationship between first-order and fixed-point logics, specifically on the condition for a formula in a fixed-point logic to have an equivalent first-order formula. ...