Isolation Of Types

Isolation of Types is a fundamental concept in model theory whereby a type is uniquely determined by a single formula that implies all formulas in the type, distinguishing it through semantic completeness within the space of complete types over a given parameter set.

Publications

260

Citations

Authors

Institutions

Publications per year

2017–2026

Parents

Model Theory

Publications

Concurrent programming with revisions and isolation types

Sebastian Burckhardt, Alexandro Baldassin, Daan Leijen · 2010 · 102 citations

Computing, Computer Science, Computer Systems +13

Hierarchical Linkage Analysis for the Isolation of Types

Louis L. McQuitty · Educational and Psychological Measurement · 1960 · 98 citations

Life Sciences, Computer Science, Genetics +8

GENERIC ORBITS AND TYPE ISOLATION IN THE GURARIJ SPACE

Itaï Ben Yaacov · 2016 · 19 citations · Full text

Natural Sciences, Mathematics, Discrete Mathematics +12

Omitting types in incomplete theories

Enrique Casanovas, Rafel Farré · Journal of Symbolic Logic · 1996 · 18 citations

Humanities, Mathematics, Logic +5

Multiple Rank Order Typal Analysis for the Isolation of Independent Types

Louis L. McQuitty · Educational and Psychological Measurement · 1966 · 12 citations

Computing, Computer Science, Mathematics +4

1–5 of 6

Authors

LL
Louis L. McQuitty
Michigan State University, United States
2 publications · 110 citations
2
h-index
IB
Itaï Ben Yaacov
Institut Camille Jordan, France
1 publications · 19 citations
1
h-index
AB
Alexandro Baldassin
Universidade Estadual de Campinas (UNICAMP), Brazil
1 publications · 102 citations
1
h-index
RF
Rafel Farré
Universitat Politècnica de Catalunya, Spain
1 publications · 18 citations
1
h-index
AB
Andreas Blass
University of Michigan, United States
1 publications · 11 citations
1
h-index

1–5 of 8

Institutions

1–8 of 9

Venues

Educational and Psychological Measurement
2 publications · 110 citations
2
h-index
Journal of Symbolic Logic
2 publications · 29 citations
2
h-index

1–2