A complete, decidable theory with two decidable models von Millar, Terrence S.

Volltext

David Marker. Degrees of models of true arithmetic. Proceedings of the Herbrand Symposium, Logic Colloquium '81, Proceedings of the Herbrand Symposium held in Marseilles, France, J... von Millar, Terrence S.

Volltext

Review: David Marker, J. Stern, Degrees of Models of True Arithmetic; Julia Knight, Alistair H. Lachlan, Robert I. Soare, Two Theorems on Degrees of Models of True Arithmetic von Millar, Terrence S

Volltext

Chapter 15 Pure recursive model theory von Millar, Terrence S.

Volltext

Foundations of recursive model theory von Millar, Terrence S.

Volltext

REVIEWS von Millar, Terrence S.

Volltext

Degrees of Models of True Arithmetic von Millar, Terrence S.

Volltext

Synthesis of the Science, Mathematics, Engineering and Technology Graduate Education Forum (Arlington, Virginia, June 29-30, 1998). Workshop Report von Millar, Terrence S, Mason, Sarah A, Gunter, Ramona L, Millar, Susan B

Volltext bestellen

The Effect of Pinned Photodiode Shape on Time-of-Flight Demodulation Contrast von Millar, Terrence Cole, Sarhangnejad, Navid, Katic, Nikola, Kutulakos, Kyros, Genov, Roman

Volltext

Safety, immunogenicity, and efficacy of NDV-3A against Staphylococcus aureus colonization: A phase 2 vaccine trial among US Army Infantry trainees von Millar, Eugene V., Bennett, Jason W., Barin, Burc, Carey, Patrick M., Law, Natasha N., English, Caroline E., Schwartz, Michael M., Cochrane, Terrence, Ellis, Michael W., Tribble, David R., Timothy Cooke, M., Hennessey, John P.

Volltext

Coupling of Hydrogen Bonding to Chromophore Conformation and Function in Photoactive Yellow Protein von Brudler, Ronald, Meyer, Terrence E, Genick, Ulrich K, Devanathan, Savitha, Woo, Tammy T, Millar, David P, Gerwert, Klaus, Cusanovich, Michael A, Tollin, Gordon, Getzoff, Elizabeth D

Volltext

Impact of Human Immunodeficiency Virus Drug Resistance Mutations Detected in Women Prior to Antiretroviral Therapy With Efavirenz + Tenofovir Disoproxil Fumarate + Lamivudine (or E... von Boyce, Ceejay L, Sils, Tatiana, Milne, Ross S, Wallner, Jackson J, Hardy, Samantha R, Ko, Daisy, Wong-On-Wing, Annie, Mackey, Malia, Higa, Nikki, Beck, Ingrid A, Styrchak, Sheila M, DeMarrais, Patricia, Tierney, Camlin, Fowler, Mary G, Frenkel, Lisa M

Volltext

Models in fisheries research: GLMs, GAMS and GLMMs von Xiao, Yongshun, Punt, André E., Millar, Russell B., Quinn, Terrence J.

Volltext

Model completions and omitting types von Millar, Terrence

Volltext

Counter-examples via model completions von Millar, Terrence

Volltext

Finite extensions and the number of countable models von Millar, Terrence

Volltext

Prime models and almost decidability von Millar, Terrence

Volltext

Recursive categoricity and persistence von Millar, Terrence

Volltext

Recursive categoricity and persistence von Millar, Terrence

Volltext

Persistently Finite Theories with Hyperarithmetic Models von Millar, Terrence

Volltext