Concepedia
Annals of Pure and Applied Logic · 1984 · 15 citations · 1 references
ComputingComputer ScienceMathematicsSet TheoryTheory Of ComputationChurch-turing ThesisComputational ModelsModel TheoryCountable SetDecidabilityDecidability Problems
1
Omitting types, type spectrums, and decidability
Terrence Millar · Journal of Symbolic Logic · 1983 · 40 citations
Computing, Computer Science, Mathematics +13