Reflection Principles and their Use for Establishing the Complexity of Axiomatic Systems

G. Kreisel^*, A. Lévy

^*Corresponding author for this work

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

106 Scopus citations

Original language	English
Pages (from-to)	97-142
Number of pages	46
Journal	Mathematical Logic Quarterly
Volume	14
Issue number	7-12
DOIs	https://doi.org/10.1002/malq.19680140702
State	Published - 1968

Access to Document

@article{ce28ab0e397140a2ae0f18e69d1ed4bf,

title = "Reflection Principles and their Use for Establishing the Complexity of Axiomatic Systems",

author = "G. Kreisel and A. L{\'e}vy",

year = "1968",

doi = "10.1002/malq.19680140702",

language = "אנגלית",

volume = "14",

pages = "97--142",

journal = "Mathematical Logic Quarterly",

issn = "0942-5616",

publisher = "Wiley-VCH Verlag",

number = "7-12",

}

TY - JOUR

T1 - Reflection Principles and their Use for Establishing the Complexity of Axiomatic Systems

AU - Kreisel, G.

AU - Lévy, A.

PY - 1968

Y1 - 1968

UR - https://www.scopus.com/pages/publications/0002239257

U2 - 10.1002/malq.19680140702

DO - 10.1002/malq.19680140702

M3 - ???researchoutput.researchoutputtypes.contributiontojournal.article???

AN - SCOPUS:0002239257

SN - 0942-5616

VL - 14

SP - 97

EP - 142

JO - Mathematical Logic Quarterly

JF - Mathematical Logic Quarterly

IS - 7-12

ER -