Funder
Division of Mathematical Sciences
Simons Foundation
Publisher
Springer Science and Business Media LLC
Reference14 articles.
1. Alvir, R., Calvert, W.C., Goodman, G., Harizanov, V.S., Knight, J.F., Morozov, A.S., Miller, R.G., Soskova, A.A., Weisshaar, R.: Interpreting a field in its Heisenberg group (preprint)
2. Barwise, K.J.: Admissible sets and structures. Springer, Berlin (1975)
3. Calvert, W.C.: The isomorphism problem for classes of computable fields. Arch. Math. Logic 43, 327–336 (2004)
4. Calvert, W.C., Cenzer, D.A., Harizanov, V.S., Morozov, A.S.: Effective categoricity of equivalence structures. Ann. Pure Appl. Logic 141, 61–78 (2006)
5. Downey, R.G., Montalbán, A.: The isomorphism problem for torsion-free abelian groups is analytic complete. J. Algebra 320, 2291–2300 (2008)