Concepedia

Saturation Principles

Saturation Principles is a theoretical framework in mathematical logic that specifies conditions under which a given structure admits sufficiently many types to ensure model-theoretic completeness and categoricity in specific cardinalities.

44

Publications

1.9K

Citations

93

Authors

60

Institutions

Publications per year

2017–2026

9

Parents

Publications

44

A Pragmatic Definition of the Concept of Theoretical Saturation

Jacqueline Low · Sociological Focus · 2019 · 432 citations

, , +10

Saturation, nonmonotonic reasoning and the closed-world assumption

Genevieve Bossu, Pierre Siegel · Artificial Intelligence · 1985 · 174 citations

, , +9

Multimillijoule, highly coherent x-ray laser at 21 nm operating in deep saturation through double-pass amplification

B. Rus, Tomáš Mocek, A. R. Präg et al. · Physical Review A · 2002 · 119 citations

, , +13

An analysis and design method for linear systems under nested saturation

Alec Bateman, Zongli Lin · Systems & Control Letters · 2002 · 93 citations

, , +13

Equational Reasoning in Saturation-Based Theorem Proving

Leo Bachmair, Harald Ganzinger · 1998 · 75 citations

, , +12

1–5 of 44

Authors

93

  1. GS
    Gabriel Scherer

    Institut national de recherche en sciences et technologies du numérique, France

    2 publications · 23 citations

    2

    h-index

  2. KM
    K. McAllon

    1 publications · 18 citations

    1

    h-index

  3. LK
    Laurence Kirby

    Baruch College, United States

    1 publications · 18 citations

    1

    h-index

  4. NR
    N. Rajan

    Ames Research Center, United States

    1 publications · 42 citations

    1

    h-index

  5. IB
    Isabel Bermejo

    Universidad de La Laguna, Spain

    1 publications · 69 citations

    1

    h-index

1–5 of 93

Institutions

60

  1. University of Manchester

    Manchester, United Kingdom

    2 h-index

    3 publications

    65 citations

  2. Northeastern University

    Boston, United States

    2 h-index

    2 publications

    23 citations

  3. New York University

    New York, United States

    2 h-index

    5 publications

    179 citations

  4. Universidade Federal do Rio de Janeiro

    Rio de Janeiro, Brazil

    1 h-index

    3 publications

    33 citations

  5. Universidad de Sevilla

    Seville, Spain

    1 h-index

    1 publications

    11 citations

  6. University of Perugia

    Perugia, Italy

    1 h-index

    1 publications

    41 citations

  7. University of Maryland, College Park

    College Park, United States

    1 h-index

    1 publications

    32 citations

  8. Eindhoven University of Technology

    Eindhoven, The Netherlands

    1 h-index

    1 publications

    43 citations

1–8 of 60

Venues

  1. Neural Networks

    2 publications · 20 citations

    2

    h-index

  2. Archive for Mathematical Logic

    2 publications · 45 citations

    2

    h-index

  3. Systems & Control Letters

    1 publications · 93 citations

    1

    h-index

  4. Notre Dame Journal of Formal Logic

    1 publications · 44 citations

    1

    h-index

  5. American Journal of Mathematics

    1 publications · 15 citations

    1

    h-index

1–5