Concepedia

Back-and-forth Arguments

Back-and-Forth Arguments is a proof technique in model theory that establishes isomorphisms between countable structures by iteratively extending partial isomorphisms through a zigzag correspondence of elements.

5

Publications

131

Citations

6

Authors

7

Institutions

Publications per year

2017–2026

2

Variants

Back-and-forth Method

Parents

Publications

5

Interpolation, preservation, and pebble games

Jon Barwise, Johan van Benthem · Journal of Symbolic Logic · 1999 · 52 citations

, , +10

The isomorphism problem for computable Abelian <sub><i>p</i></sub>-groups of bounded length

Wesley Calvert · Journal of Symbolic Logic · 2005 · 33 citations

, , +15

System 1 vs. System 2 Thinking

Sérgio Da Silva · Psych · 2023 · 24 citations · Full text

, , +9

Designing prostitution policy: intention and reality in regulating the sex trade

Leslie Ann Jeffrey · Critical Policy Studies · 2018 · 12 citations

, , +14

Reflexivity, description and the analysis of social settings

Rodney Watson · LA Referencia (Red Federada de Repositorios Institucionales de Publicaciones Científicas) · 2005 · 10 citations · Full text

, , +6

1–5 of 5

Authors

6

  1. SD
    Sérgio Da Silva

    Universidade de Brasília, Brazil

    1 publications · 24 citations

    1

    h-index

  2. LA
    Leslie Ann Jeffrey

    University of New Brunswick, Canada

    1 publications · 12 citations

    1

    h-index

  3. RW
    Rodney Watson

    University of Manchester, United Kingdom

    1 publications · 10 citations

    1

    h-index

  4. JV
    Johan van Benthem

    University of Amsterdam, Netherlands

    1 publications · 52 citations

    1

    h-index

  5. JB
    Jon Barwise

    University of Wisconsin–Madison, United States

    1 publications · 52 citations

    1

    h-index

1–5 of 6

Institutions

7

  1. University of Manchester

    Manchester, United Kingdom

    1 h-index

    1 publications

    10 citations

  2. Universidade Federal de Santa Catarina

    Florianópolis, Brazil

    1 h-index

    1 publications

    24 citations

  3. United Nations Industrial Development Organization

    Vienna, Austria

    1 h-index

    1 publications

    10 citations

  4. University of Amsterdam

    Amsterdam, The Netherlands

    1 h-index

    1 publications

    52 citations

  5. University of New Brunswick

    Fredericton, Canada

    1 h-index

    1 publications

    12 citations

  6. Indiana University

    Bloomington, United States

    1 h-index

    1 publications

    52 citations

  7. University of Notre Dame

    Notre Dame, United States

    1 h-index

    1 publications

    33 citations

1–7 of 7

Venues

  1. Journal of Symbolic Logic

    2 publications · 85 citations

    2

    h-index

  2. 1

    h-index

  3. Critical Policy Studies

    1 publications · 12 citations

    1

    h-index

  4. Psych

    1 publications · 24 citations

    1

    h-index

1–4