1,497 reputation
519
bio website
location
age
visits member for 3 years
seen 23 hours ago

Discipulus sum in Iaponia.


Dec
10
awarded  Caucus
Dec
7
comment $A$ is c.e. $ \Leftrightarrow$ $A \le_{1}K_{0}$
Also, please consider accepting this answer (not just upvoting it) if you find it useful.
Dec
7
comment $A$ is c.e. $ \Leftrightarrow$ $A \le_{1}K_{0}$
The argument for the former part is somewhat unclear, though.
Dec
7
answered $A$ is c.e. $ \Leftrightarrow$ $A \le_{1}K_{0}$
Dec
7
accepted Does an interpretation of a structure by itself induce a bijection on the automorphism group of the structure?
Dec
7
revised Does an interpretation of a structure by itself induce a bijection on the automorphism group of the structure?
deleted 130 characters in body
Dec
7
comment Does an interpretation of a structure by itself induce a bijection on the automorphism group of the structure?
@ZhenLin Ah, now I see your point. I should define $\alpha_\Gamma$ in some other way.
Dec
7
comment Does an interpretation of a structure by itself induce a bijection on the automorphism group of the structure?
@ZhenLin Yes, you could talk about interpretations entirely in terms of signatures, but I see no problem in talking about interpretation of one structure in another; indeed, the latter is how Hodges' book defines interpretations.
Dec
7
comment Does an interpretation of a structure by itself induce a bijection on the automorphism group of the structure?
@ZhenLin could you give me an example?
Dec
7
asked Does an interpretation of a structure by itself induce a bijection on the automorphism group of the structure?
Dec
3
awarded  Yearling
Nov
11
asked Structure of an affine group as a semidirect product
Nov
5
revised An affine group behaving like a field
added 17 characters in body
Nov
5
revised An affine group behaving like a field
edited title
Nov
5
asked An affine group behaving like a field
Oct
29
accepted Characterization of a theory whose model has elementary submodels as only its submodels
Oct
23
comment Characterization of a theory whose model has elementary submodels as only its submodels
Yes! (more keystrokes)
Oct
23
asked Characterization of a theory whose model has elementary submodels as only its submodels
Oct
23
accepted Marker Exercise 2.5.10: universal part of a theory and supermodel
Oct
23
asked Marker Exercise 2.5.10: universal part of a theory and supermodel