Terrence Millar

Available identifiers

zbMath Open millar.terrence-sDBLP58/1572WikidataQ102079585 ScholiaQ102079585MaRDI QIDQ1057258

List of research outcomes

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q4934290	2000-01-17	Paper
Model completions and omitting types	1996-02-20	Paper
Finite extensions and the number of countable models	1989-01-01	Paper
Tame Theories with Hyperarithmetic Homogeneous Models	1989-01-01	Paper
Recursive categoricity and persistence	1986-01-01	Paper
Prime models and almost decidability	1986-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3690795	1985-01-01	Paper
Decidability and the number of countable models	1984-01-01	Paper
Persistently Finite Theories with Hyperarithmetic Models	1983-01-01	Paper
Persistently Finite, Persistently Arithmetic Theories	1983-01-01	Paper
Omitting types, type spectrums, and decidability	1983-01-01	Paper
Type Structure Complexity and Decidability	1982-01-01	Paper
Vaught's theorem recursively revisited	1981-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3941391	1981-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3955338	1981-01-01	Paper
Homogeneous models and decidability	1980-01-01	Paper
A complete, decidable theory with two decidable models	1979-01-01	Paper
Foundations of recursive model theory	1978-01-01	Paper

Research outcomes over time

This page was built for person: Terrence Millar