Terrence Millar

Available identifiers

zbMath Open millar.terrence-sWikidataQ102079585 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
Tame Theories with Hyperarithmetic Homogeneous Models	1989-01-01	Paper
Finite extensions and the number of countable models	1989-01-01	Paper
Prime models and almost decidability	1986-01-01	Paper
Recursive categoricity and persistence	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
https://portal.mardi4nfdi.de/entity/Q3941391	1981-01-01	Paper
Vaught's theorem recursively revisited	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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Terrence Millar