Logic ColloquiumPub Date : 1900-01-01DOI: 10.1017/9781316716830.014
M. Makkai
{"title":"Towards a Categorical Foundation of Mathematics","authors":"M. Makkai","doi":"10.1017/9781316716830.014","DOIUrl":"https://doi.org/10.1017/9781316716830.014","url":null,"abstract":"This paper is an expanded version of a talk with the same title given at the Logic Colloquium in Haifa in August, 1995. A year later, at the time of writing these lines, one of the papers, [M2], on which the talk was based has appeared in print. The present paper is, primarily, a somewhat philosophical introduction to the research monograph [M3], the other source of the talk. For understanding the story, it is necessary to keep the contents of [M2] in view; some of [M2] will be recapitulated here. The paper is written for readers with at least a slight familiarity with Category Theory. At certain points, we make remarks referring to more advanced notions; however, the understanding of these is not essential for the main part of the paper.","PeriodicalId":236397,"journal":{"name":"Logic Colloquium","volume":"87 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121912551","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Logic ColloquiumPub Date : 1900-01-01DOI: 10.1016/S0049-237X(09)70554-3
Kenneth L. Manders
{"title":"Logic and conceptual relationships in mathematics","authors":"Kenneth L. Manders","doi":"10.1016/S0049-237X(09)70554-3","DOIUrl":"https://doi.org/10.1016/S0049-237X(09)70554-3","url":null,"abstract":"","PeriodicalId":236397,"journal":{"name":"Logic Colloquium","volume":"66 7 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121916842","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Logic ColloquiumPub Date : 1900-01-01DOI: 10.1016/S0049-237X(09)70555-5
Peter Päppinghaus
{"title":"Pi2-models of extensions of Kripke-Platek set theory","authors":"Peter Päppinghaus","doi":"10.1016/S0049-237X(09)70555-5","DOIUrl":"https://doi.org/10.1016/S0049-237X(09)70555-5","url":null,"abstract":"","PeriodicalId":236397,"journal":{"name":"Logic Colloquium","volume":"101 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124795043","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Logic ColloquiumPub Date : 1900-01-01DOI: 10.1016/S0049-237X(09)70549-X
B. Courcelle
{"title":"Proofs of partial correctness for iterative and recursive computations","authors":"B. Courcelle","doi":"10.1016/S0049-237X(09)70549-X","DOIUrl":"https://doi.org/10.1016/S0049-237X(09)70549-X","url":null,"abstract":"","PeriodicalId":236397,"journal":{"name":"Logic Colloquium","volume":"8 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123318873","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Logic ColloquiumPub Date : 1900-01-01DOI: 10.1016/S0049-237X(09)70551-8
T. Coquand, G. Huet
{"title":"Concepts mathématiques et informatiques formalisés dans le calcul des constructions","authors":"T. Coquand, G. Huet","doi":"10.1016/S0049-237X(09)70551-8","DOIUrl":"https://doi.org/10.1016/S0049-237X(09)70551-8","url":null,"abstract":"","PeriodicalId":236397,"journal":{"name":"Logic Colloquium","volume":"50 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132765966","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Logic ColloquiumPub Date : 1900-01-01DOI: 10.1016/S0049-237X(09)70550-6
J. V. Heijenoort
{"title":"Système et Métasystème chez Russell","authors":"J. V. Heijenoort","doi":"10.1016/S0049-237X(09)70550-6","DOIUrl":"https://doi.org/10.1016/S0049-237X(09)70550-6","url":null,"abstract":"","PeriodicalId":236397,"journal":{"name":"Logic Colloquium","volume":"13 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127584136","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Logic ColloquiumPub Date : 1900-01-01DOI: 10.1016/S0049-237X(09)70552-X
Daniel Isaacson
{"title":"Arithmetical truth and hidden higher-order concepts","authors":"Daniel Isaacson","doi":"10.1016/S0049-237X(09)70552-X","DOIUrl":"https://doi.org/10.1016/S0049-237X(09)70552-X","url":null,"abstract":"","PeriodicalId":236397,"journal":{"name":"Logic Colloquium","volume":"42 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127466855","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
求助内容：
应助结果提醒方式：
京公网安备 11010802042870号
