Concepedia

Henkin Construction

Henkin Construction is a method in mathematical logic that consists in extending a first-order theory with constants and constructing a model from syntactic elements, distinguished by its use of maximal consistent sets with witnesses to prove the completeness of first-order logic.

5

Publications

261

Citations

5

Authors

3

Institutions

Publications per year

2017–2026

0

Variants

Henkin's Construction

Parents

Publications

5

City Reading: Written Words and Public Spaces in Antebellum New York.

Ronald J. Zboray, David M. Henkin · Journal of American History · 2000 · 172 citations

, , +15

On a Problem of Henkin’s

G. Kreisel · Indagationes Mathematicae (Proceedings) · 1953 · 36 citations

, , +3

Cover semantics for quantified lax logic

Robert Goldblatt · Journal of Logic and Computation · 2010 · 24 citations

, , +17

An abstract setting for Henkin proofs

Robert Goldblatt · Topoi · 1984 · 17 citations

, , +6

SUBFORMULA AND SEPARATION PROPERTIES IN NATURAL DEDUCTION VIA SMALL KRIPKE MODELS

Peter Milne · The Review of Symbolic Logic · 2010 · 12 citations

, , +15

1–5 of 5

Authors

5

  1. RG
    Robert Goldblatt

    Victoria University of Wellington, New Zealand

    2 publications · 41 citations

    2

    h-index

  2. RJ
    Ronald J. Zboray

    Georgia State University, United States

    1 publications · 172 citations

    1

    h-index

  3. PM
    Peter Milne

    University of Edinburgh, United Kingdom

    1 publications · 12 citations

    1

    h-index

  4. GK
    G. Kreisel

    1 publications · 36 citations

    1

    h-index

  5. DM
    David M. Henkin

    University of California, Berkeley, United States

    1 publications · 172 citations

    1

    h-index

1–5 of 5

Institutions

3

  1. Victoria University of Wellington

    Wellington, New Zealand

    2 h-index

    2 publications

    41 citations

  2. Georgia State University

    Atlanta, United States

    1 h-index

    2 publications

    344 citations

  3. University of Stirling

    Stirling, United Kingdom

    1 h-index

    1 publications

    12 citations

1–3 of 3

Venues

  1. Journal of American History

    1 publications · 172 citations

    1

    h-index

  2. Journal of Logic and Computation

    1 publications · 24 citations

    1

    h-index

  3. Indagationes Mathematicae (Proceedings)

    1 publications · 36 citations

    1

    h-index

  4. Topoi

    1 publications · 17 citations

    1

    h-index

  5. The Review of Symbolic Logic

    1 publications · 12 citations

    1

    h-index

1–5