(Q4839003)

English

back-and-forth method

a method for showing isomorphism between countably infinite structures satisfying specified conditions

Statements

Identifiers

 
edit
    edit
      edit
        edit
          edit
            edit
              edit
                edit