Decidability and definability in second-order theories

Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review

Original language	English
Title of host publication	Actes du Congrès International des Mathématiciens (Nice, 1970)
Publisher	Gauthier-Villars Éditeur, Paris
Pages	239-244
Number of pages	6
Volume	1
State	Published - 1971
Event	International Congress of Mathematicians, ICM 1970 - Nice, France Duration: 1 Oct 1970 → 10 Oct 1970 Conference number: 16 https://mathshistory.st-andrews.ac.uk/ICM/ICM_Nice_1970/

Conference	International Congress of Mathematicians, ICM 1970
Country/Territory	France
City	Nice
Period	1/10/70 → 10/10/70
Internet address	https://mathshistory.st-andrews.ac.uk/ICM/ICM_Nice_1970/

Cite this

@inbook{b18b27634c3a448abfda78b75e52c43b,

title = "Decidability and definability in second-order theories",

author = "Rabin, \{Michael O.\}",

year = "1971",

language = "אנגלית",

volume = "1",

pages = "239--244",

booktitle = "Actes du Congr{\`e}s International des Math{\'e}maticiens (Nice, 1970)",

publisher = "Gauthier-Villars {\'E}diteur, Paris",

note = "International Congress of Mathematicians, ICM 1970 ; Conference date: 01-10-1970 Through 10-10-1970",

url = "https://mathshistory.st-andrews.ac.uk/ICM/ICM\_Nice\_1970/",

}

TY - CHAP

T1 - Decidability and definability in second-order theories

AU - Rabin, Michael O.

N1 - Conference code: 16

PY - 1971

Y1 - 1971

M3 - ???researchoutput.researchoutputtypes.contributiontobookanthology.chapter???

VL - 1

SP - 239

EP - 244

BT - Actes du Congrès International des Mathématiciens (Nice, 1970)

PB - Gauthier-Villars Éditeur, Paris

T2 - International Congress of Mathematicians, ICM 1970

Y2 - 1 October 1970 through 10 October 1970

ER -