Find link

language:

Find link is a tool written by Edward Betts.

searching for Abstract model theory 4 found (12 total)

Jouko Väänänen (534 words) [view diff] exact match in snippet view article find links to article

Alma mater University of Manchester Known for Dependence logic, abstract model theory, set theory Spouse Juliette Kennedy Scientific career Fields mathematical

Joseph Goguen (1,306 words) [view diff] case mismatch in snippet view article find links to article

Berkeley (1968). J. A. Goguen and R. M. Burstall, "Institutions: Abstract Model Theory for Specification and Programming", Journal of the ACM 39: 95–146

Joseph Sgro (2,884 words) [view diff] exact match in snippet view article find links to article

topologies" (PDF). Jon Barwise, K. (1 December 1974). "Axioms for abstract model theory". Annals of Mathematical Logic. 7 (2): 221–265. doi:10.1016/0003-4843(74)90016-3

Index of philosophy articles (I–Q) (12,318 words) [view diff] no match in snippet view article

realism Modalities (sociology) Modality Mode of production Model (abstract) Model theory Models of scientific inquiry Moderate objectivism Moderate realism