Terrence Millar

MaRDI QIDQ1057258zbMATH OpenDBLPWikidataFDO

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
scientific article; zbMATH DE number 1390025 (Why is no real title available?)	2000-01-17	Paper
Model completions and omitting types Journal of Symbolic Logic	1996-02-20	Paper
Finite extensions and the number of countable models Journal of Symbolic Logic	1989-01-01	Paper
Tame Theories with Hyperarithmetic Homogeneous Models	1989-01-01	Paper
Recursive categoricity and persistence Journal of Symbolic Logic	1986-01-01	Paper
Prime models and almost decidability Journal of Symbolic Logic	1986-01-01	Paper
scientific article; zbMATH DE number 3914293 (Why is no real title available?)	1985-01-01	Paper
Decidability and the number of countable models Annals of Pure and Applied Logic	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 Journal of Symbolic Logic	1983-01-01	Paper
Type Structure Complexity and Decidability	1982-01-01	Paper
Vaught's theorem recursively revisited Journal of Symbolic Logic	1981-01-01	Paper
scientific article; zbMATH DE number 3758310 (Why is no real title available?)	1981-01-01	Paper
scientific article; zbMATH DE number 3775498 (Why is no real title available?)	1981-01-01	Paper
Homogeneous models and decidability Pacific Journal of Mathematics	1980-01-01	Paper
A complete, decidable theory with two decidable models Journal of Symbolic Logic	1979-01-01	Paper
Foundations of recursive model theory Annals of Mathematical Logic	1978-01-01	Paper

Research outcomes over time

This page was built for person: Terrence Millar