Bradd Hart - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 20 from 20

2021

Operator algebras with hyperarithmetic theoryIsaac Goldbring, Bradd Hart. logcom, 31(2):612-629, 2021. [doi]

2016

FraïSSé Limits of C*-AlgebrasChristopher J. Eagle, Ilijas Farah, Bradd Hart, Boris Kadets, Vladyslav Kalashnyk, Martino Lupini. JSYML, 81(2):755-773, 2016. [doi]

Computability and the Connes Embedding ProblemIsaac Goldbring, Bradd Hart. bsl, 22(2):238-248, 2016. [doi]

2015

K. Tent and M. Ziegler. A Course in Model Theory. Lecture Notes in Logic, vol. 40. Cambridge University Press, United Kingdom, 2012, x + 248 ppBradd Hart. bsl, 21(3):342-343, 2015. [doi]

2014

Omitting types and AF algebrasKevin Carlson, Enoch Cheung, Ilijas Farah, Alexander Gerhardt-Bourke, Bradd Hart, Leanne Mezuman, Nigel Sequeira, Alexander Sherman. AML, 53(1-2):157-169, 2014. [doi]

2013

The theory of tracial von Neumann algebras does not have a model companionIsaac Goldbring, Bradd Hart, Thomas Sinclair. JSYML, 78(3):1000-1004, 2013. [doi]

2005

On the type-definability of the binding group in simple theoriesBradd Hart, Ziv Shami. JSYML, 70(2):379-388, 2005. [doi]

2002

Unique Decomposition in Classifiable TheoriesBradd Hart, Ehud Hrushovski, Michael C. Laskowski. JSYML, 67(1):61-68, 2002.

2000

Coordinatisation and Canonical Bases in Simple TheoriesBradd Hart, Byunghan Kim, Anand Pillay. JSYML, 65(1):293-309, 2000.

1999

A Note On Alpha-Prime ModelsBradd Hart, Zeljko Sokolovic, Predrag Tanovic. JSYML, 64(4):1557-1562, 1999.

1997

An Unclassifiable Unidimensional Theory without OTOPAmbar Chowdhury, Bradd Hart. ndjfl, 38(1):93-103, 1997.

1995

a-modelsBradd Hart, Anand Pillay, Sergei Starchenko. AML, 34(5):285-300, 1995. [doi]

1994

Superstable Quasi-VarietiesBradd Hart, Sergei Starchenko. APAL, 69(1):53-71, 1994.

1993

Addendum to A Structure Theorem for Strongly Abelian Varieties Bradd Hart, Sergei Starchenko. JSYML, 58(4):1419-1425, 1993.

Triviality, NDOP and Stable VarietiesBradd Hart, Anand Pillay, Sergei Starchenko. APAL, 62(2):119-146, 1993.

Models with Second Order Properties V: A General PrincipleSaharon Shelah, Claude Laflamme, Bradd Hart. APAL, 64(2):169-194, 1993.

1991

A Structure Theorem for Strongly Abelian Varieties with Few ModelsBradd Hart, Matthew Valeriote. JSYML, 56(3):832-852, 1991.

1989

The Classification of Excellent ClassesRami P. Grossberg, Bradd Hart. JSYML, 54(4):1359-1381, 1989.

A Proof of Morley s ConjectureBradd Hart. JSYML, 54(4):1346-1358, 1989.

1986

Program Correctness on Finite FieldsLászló Csirmaz, Bradd Hart. lics 1986: 4-10

Sign in or sign up to see more results.

runs on WebDSL