Recursive density types and nerode extensions of arithmetic

Research output: Contribution to journal › Article › Research › peer-review

Original language	English
Pages (from-to)	146-158
Number of pages	13
Journal	Journal of the Australian Mathematical Society
Volume	20
Issue number	2
DOIs	https://doi.org/10.1017/S1446788700020449
Publication status	Published - 1 Jan 1975
Externally published	Yes

Access to Document

@article{64fe78cb006a452caf52a156c42e477b,

title = "Recursive density types and nerode extensions of arithmetic",

author = "P. Aczel and Crossley, {J. N.}",

year = "1975",

month = jan,

day = "1",

doi = "10.1017/S1446788700020449",

language = "English",

volume = "20",

pages = "146--158",

journal = "Journal of the Australian Mathematical Society",

issn = "1446-7887",

publisher = "Cambridge University Press",

number = "2",

}

TY - JOUR

T1 - Recursive density types and nerode extensions of arithmetic

AU - Aczel, P.

AU - Crossley, J. N.

PY - 1975/1/1

Y1 - 1975/1/1

UR - http://www.scopus.com/inward/record.url?scp=84974286269&partnerID=8YFLogxK

U2 - 10.1017/S1446788700020449

DO - 10.1017/S1446788700020449

M3 - Article

AN - SCOPUS:84974286269

SN - 1446-7887

VL - 20

SP - 146

EP - 158

JO - Journal of the Australian Mathematical Society

JF - Journal of the Australian Mathematical Society

IS - 2

ER -