summaryrefslogtreecommitdiff
path: root/macros/latex/contrib/biblatex-contrib/biblatex-gost/doc/biblatex-gost-examples.bib
diff options
context:
space:
mode:
authorNorbert Preining <norbert@preining.info>2020-02-24 03:01:26 +0000
committerNorbert Preining <norbert@preining.info>2020-02-24 03:01:26 +0000
commit33f4ae660b866731387e4c21e528aaa283009d6c (patch)
treec1f1449987542917a209c7e108a1a48f81fc70e3 /macros/latex/contrib/biblatex-contrib/biblatex-gost/doc/biblatex-gost-examples.bib
parent0908ef0004729f1b45b8d9687656f2f92fc122ae (diff)
CTAN sync 202002240301
Diffstat (limited to 'macros/latex/contrib/biblatex-contrib/biblatex-gost/doc/biblatex-gost-examples.bib')
-rw-r--r--macros/latex/contrib/biblatex-contrib/biblatex-gost/doc/biblatex-gost-examples.bib267
1 files changed, 179 insertions, 88 deletions
diff --git a/macros/latex/contrib/biblatex-contrib/biblatex-gost/doc/biblatex-gost-examples.bib b/macros/latex/contrib/biblatex-contrib/biblatex-gost/doc/biblatex-gost-examples.bib
index 264408e220..13d5d52694 100644
--- a/macros/latex/contrib/biblatex-contrib/biblatex-gost/doc/biblatex-gost-examples.bib
+++ b/macros/latex/contrib/biblatex-contrib/biblatex-gost/doc/biblatex-gost-examples.bib
@@ -52,7 +52,7 @@
ids = {lakatos_do},
author = {Имре Лакатос},
translator = {И. Н. Веселовского},
- title = {Доказательства и опровержения. Как доказываются теоремы},
+ title = {Доказательства и опровержения. {Как} доказываются теоремы},
shorttitle = {Доказательства и опровержения},
year = 1967,
publisher = {Наука},
@@ -152,7 +152,7 @@
@Book{jones-fogelin:tcqd,
ids = {jones-fogelin_tcqd},
- title = {The Twentieth Century to Quine and Derrida},
+ title = {The Twentieth Century to {Quine} and {Derrida}},
author = {Jones, W. T. and Fogelin, R. J.},
isbn = 9780155003798,
lccn = 96078916,
@@ -217,7 +217,7 @@
@Book{durkheim:spmp,
ids = {durkheim_spmp},
- title = {Социология. Ее предмет, метод, предназначение},
+ title = {Социология. {Ее} предмет, метод, предназначение},
author = {Дюркгейм, Э.},
isbn = 9785275018202,
year = 2008,
@@ -256,8 +256,8 @@
@Book{marcuse:ecoc,
ids = {marcuse_ecoc},
- title = {Эрос и цивилизация. Одномерный человек: Исследование идеологии развитого
- индустриального общества},
+ title = {Эрос и цивилизация. {Одномерный} человек},
+ subtitle = {Исследование идеологии развитого индустриального общества},
shorttitle = {Эрос и цивилизация. Одномерный человек},
author = {Герберт Маркузе},
translator = {Юдина, А. А.},
@@ -330,7 +330,8 @@
ids = {kristeva_it},
author = {Юлия Кристева},
translator = {Г. К. Косикова and Б. Н. Нарумова},
- title = {Избранные труды: Разрушение поэтики},
+ title = {Избранные труды},
+ subtitle = {Разрушение поэтики},
shorttitle = {Избранные труды},
year = 2004,
publisher = {Российская политическая энциклопедия (РОССПЭН)},
@@ -383,6 +384,19 @@
langid = {russian},
}
+@COLLECTION{semiotika2ed,
+ title = {Семиотика. Антология},
+ editor = {Степанова, Ю. С.},
+ editortype = {compiler},
+ edition = {2-е, испр. и доп.},
+ year = 2001,
+ publisher = {Академический проект; Екатеринбург: Деловая книга},
+ pagetotal = 702,
+ location = {М.},
+ language = {russian},
+ langid = {russian},
+}
+
@InCollection{barthes:os,
ids = {barthes_os},
crossref = {szp},
@@ -565,7 +579,7 @@
ids = {barthes_ir},
author = {Ролан Барт},
title = {Избранные работы},
- subtitle = {Семиотика. Поэтика},
+ subtitle = {Семиотика. {Поэтика}},
_credits = {Сост., общ. ред. и вступ. ст. Г. К. Косикова},
editor = {Г. К. Косикова},
editortype = {gecompiler},
@@ -604,7 +618,7 @@
crossref = {derrida:gf},
author = {Жак Деррида},
translator = {С. Г. Кашиной},
- title = {Голос и феномен: введение в проблему знаков в феноменологии Гуссерля},
+ title = {Голос и феномен: введение в проблему знаков в феноменологии {Гуссерля}},
year = 1999,
pages = {9--137},
origlanguage = {french},
@@ -684,7 +698,7 @@
crossref = {james:vv-book},
author = {Джеймс, У.},
title = {Прагматизм},
- subtitle = {Новое название для некоторых старых методов мышления. Популярные лекции
+ subtitle = {Новое название для некоторых старых методов мышления. {Популярные} лекции
по философии},
origtitle = {Pragmatism},
origyear = 1907,
@@ -789,10 +803,10 @@
@Book{brentano:msa,
ids = {brentano_msa},
author = {Брентано, Франц},
- title = {О многозначности сущего по Аристотелю},
+ title = {О многозначности сущего по {Аристотелю}},
isbn = {978-5-900291-30-7},
year = 2012,
- pagetotal = {LXIV, 247},
+ pagetotal = {LXIV, 247 с.},
publisher = {Изд-во Института «Высшая религиозно-философская школа»},
location = {СПб.},
credits = {предисл. издателя Н. А. Печерской~; предисл. к изданию Р. А. Громова~;
@@ -837,7 +851,7 @@
@Book{althusser:zm,
ids = {althusser_zm},
author = {Луи Альтюссер},
- title = {За Маркса},
+ title = {За {Маркса}},
year = 2006,
publisher = {Праксис},
location = {М.},
@@ -902,8 +916,8 @@
editor = {В. В. Бибихина},
editortype = {geneditor},
afterword = {В. В. Бибихина},
- title = {Везен Ф. Философия французская и философия немецкая. Федье
- Ф. Воображаемое. Власть},
+ title = {{Везен} {Ф}. Философия французская и философия немецкая. {Федье}
+ {Ф}. {Воображаемое}. {Власть}},
location = {М.},
publisher = {Едиториал УРСС},
year = 2002,
@@ -935,7 +949,7 @@
ids = {motroshilova_dzh},
crossref = {fmh},
author = {Мотрошилова, Н. В.},
- title = {Драма жизни, идей и грехопадения Мартина Хайдеггера},
+ title = {Драма жизни, идей и грехопадения {Мартина} {Хайдеггера}},
year = 1991,
pages = {3---52},
language = {russian},
@@ -945,7 +959,7 @@
@Collection{fmh,
editor = {Мотрошиловой, Н. В.},
_editortype = {Отв. ред.},
- title = {Философия Мартина Хайдеггера и современность},
+ title = {Философия {Мартина} {Хайдеггера} и современность},
location = {М.},
publisher = {Наука},
year = 1991,
@@ -1025,7 +1039,7 @@
ids = {husserl_ideen2005},
crossref = {husserl:ir},
author = {Эдмунд Гуссерль},
- title = {Идеи к чистой феноменологии и феноменологической философии. Книга I},
+ title = {Идеи к чистой феноменологии и феноменологической философии. {Книга} I},
pages = {241-282},
year = 2005,
translator = {А. В. Михайлова},
@@ -1209,7 +1223,7 @@
author = {John Austin},
editor = {J. O. Urmson},
title = {How to do Things with Words},
- subtitle = {The William James Lectures delivered at Harvard University in 1955},
+ subtitle = {The {William} {James} Lectures delivered at {Harvard} {University} in 1955},
location = {Oxford},
publisher = {Clarendon},
year = 1962,
@@ -1238,11 +1252,9 @@
}
@Collection{alm,
- title = {Autour de \emph{Logiques des mondes d'Alain Badiou}},
+ title = {Autour de \emph{{Logiques} des mondes d'{Alain} {Badiou}}},
editor = {Rabouin, D. and Feltham, O. and Lincoln, L.},
isbn = 9782813000248,
- eprint = {yJfh4V-iLskC},
- eprinttype = {googlebooks},
year = 2011,
pagetotal = 182,
location = {Paris},
@@ -1319,7 +1331,7 @@
@Collection{fe,
editor = {Олеси А. Назаровой},
- title = {Философия и естествознание. Журнал «Erkenntnis» («Познание»). Избранное},
+ title = {Философия и естествознание. Журнал «{Erkenntnis}» («{Познание}»). {Избранное}},
location = {М.},
publisher = {Идея-Пресс, «Канон+» РООИ «Реабилитация»},
year = 2010,
@@ -1903,7 +1915,6 @@
author = {Preston, Aaron},
isbn = 9781441131966,
series = {Bloomsbury Studies in Philosophy},
- url = {http://books.google.ru/books?id=p96pelDACZcC},
year = 2010,
pagetotal = 208,
publisher = {CONTINUUM},
@@ -1939,6 +1950,19 @@
langid = {russian},
}
+@INBOOK{frege:mli,
+ crossref = {frege:lls},
+ author = {Фреге, Готтлоб},
+ title = {Мысль. Логическое исследование},
+ pages = {326-342},
+ year = 2000,
+ origyear = 1919,
+ origtitle = {Der Gedanke. Eine logische Untersuchung},
+ origlanguage = {german},
+ language = {russian},
+ langid = {russian},
+}
+
@InBook{frege:ip,
crossref = {frege:lls},
author = {Фреге, Готтлоб},
@@ -2472,7 +2496,7 @@
}
@Book{Pluth:bpn,
- title = {Badiou: A Philosophy of the New},
+ title = {{Badiou}: A Philosophy of the New},
series = {Key Contemporary Thinkers},
author = {Ed Pluth},
publisher = {Polity},
@@ -3616,10 +3640,12 @@
title = {Logiques des mondes},
year = 2006,
_volume = 2,
- subtitle = {L'être et l'événement, 2},
+ subtitle = {L'\/être et l'\/événement, 2},
language = {french},
publisher = {Seuil},
location = {P.},
+ pagetotal = 638,
+ series = {Collection «L'\/Ordre philosophique»},
isbn = {978-2-02-084324-9},
langid = {french},
_shorttitle = {L'être et l'événement},
@@ -3657,11 +3683,13 @@
@Book{badiou:ee,
ids = {badiou_ee},
author = {Badiou, Alain},
- title = {L'être et l'événement},
+ title = {L'\/être et l'\/événement},
year = 1988,
language = {french},
publisher = {Seuil},
location = {P.},
+ pagetotal = 560,
+ series = {Collection «L'\/Ordre philosophique»},
isbn = 2020098628,
langid = {french},
shorttitle = {L'être et l'événement},
@@ -3878,7 +3906,7 @@
editor = {A. J. Bartlett and Justin Clemens},
introduction = {A. J. Bartlett and Justin Clemens},
afterword = {A. J. Bartlett and Justin Clemens},
- title = {Alain Badiou},
+ title = {Alain {Badiou}},
subtitle = {Key Concepts},
year = 2010,
publisher = {Acumen},
@@ -4402,7 +4430,7 @@
@Article{osullivan:sts,
ids = {osullivan_sts},
author = {O'Sullivan, Simon},
- title = {The strange temporality of the subject: Badiou and Deleuze between the
+ title = {The strange temporality of the subject: {Badiou} and Deleuze between the
finite and the infinite},
journaltitle = {Subjectivity},
date = {2009-07},
@@ -4543,7 +4571,7 @@
langid = {russian},
}
-@MVBook{arist:soch,
+@MVBOOK{aristotle:soch,
ids = {arist_soch},
author = {Аристотель},
title = {Сочинения в 4-х~т.},
@@ -4554,6 +4582,62 @@
langid = {russian},
}
+@BOOK{aristotle:soch-1,
+ crossref = {aristotle:soch},
+ author = {Аристотель},
+ volume = 1,
+ editor = {В. Ф. Асмуса},
+ date = {1976},
+ language = {russian},
+ langid = {russian},
+}
+
+@BOOK{aristotle:soch-2,
+ crossref = {aristotle:soch},
+ author = {Аристотель},
+ volume = 2,
+ editor = {З. Н. Микеладзе},
+ date = {1978},
+ language = {russian},
+ langid = {russian},
+}
+
+@BOOK{aristotle:soch-4,
+ crossref = {aristotle:soch},
+ author = {Аристотель},
+ volume = 4,
+ credits = {пер. с древнегреч.; общ. ред. А. И. Доватура.},
+ date = {1983},
+ pagetotal = 830,
+ language = {russian},
+ langid = {russian},
+}
+
+@INBOOK{aristotle:metaphysica-soch,
+ crossref = {aristotle:soch-1},
+ author = {Аристотель},
+ title = {Метафизика},
+ credits = {пер. А. В. Кубицкого, сверен М. И. Иткиным},
+ date = {1976},
+ pages = {64-368},
+ language = {russian},
+ langid = {russian},
+}
+
+@INBOOK{aristotle:oso,
+ crossref = {aristotle:soch-2},
+ title = {О софистических опровержениях},
+ date = 1978,
+ pages = {533--593},
+ langid = {russian},
+}
+
+@INBOOK{aristotle:od,
+ crossref = {aristotle:soch-1},
+ title = {О душе},
+ pages = {369--447},
+ langid = {russian},
+}
@Book{badiou:deleuze,
ids = {badiou_deleuze},
author = {Бадью, Ален},
@@ -5298,8 +5382,8 @@
translator = {А. Г. Чернякова},
language = {russian},
origlanguage = {german},
- publisher = {Высшая религиозно-Философская школа},
- location = {Санкт-Петербург},
+ publisher = {Высшая религиозно"=Философская школа},
+ location = {Санкт"=Петербург},
isbn = {5-900291-19-7},
langid = {russian},
}
@@ -5733,7 +5817,7 @@
langid = {english},
}
-@Periodical{critical_inquiry2011.37.4,
+@PERIODICAL{critical-inquiry2011.37.4,
year = 2011,
title = {Critical Inquiry},
language = {english},
@@ -5743,8 +5827,8 @@
issue = {Summer},
}
-@Article{nirenberg_nirenberg:bn,
- crossref = {critical_inquiry2011.37.4},
+@ARTICLE{nirenberg:nirenberg:bn,
+ crossref = {critical-inquiry2011.37.4},
author = {Ricardo L. Nirenberg and David Nirenberg},
title = {Badiou's Number},
subtitle = {A Critique of Mathematics as Ontology},
@@ -5758,7 +5842,7 @@
_urldate = {2012-08-27},
}
-@Collection{it_ft,
+@COLLECTION{it-ft,
title = {Интеллектуальные трансформации},
subtitle = {Феномены и тренды},
location = {Новосибирск},
@@ -5768,7 +5852,7 @@
langid = {russian},
}
-@Collection{it_ntp,
+@COLLECTION{it-ntp,
title = {Интеллектуальные трансформации},
subtitle = {Новые теоретические парадигмы},
location = {Екатеринбург},
@@ -5788,8 +5872,6 @@
year = 2010,
pagetotal = 168,
isbn = 9785757703527,
- eprint = {ncSYkgEACAAJ},
- eprinttype = {googlebooks},
language = {russian},
langid = {russian},
}
@@ -5823,8 +5905,8 @@
@Article{veilahti:abm,
author = {Antti Veilahti},
- title = {Alain Badiou's Mistake~--- Two Postulates of Dialectic Materialism},
- shorttitle = {Alain Badiou's Mistake},
+ title = {Alain {Badiou}'s Mistake~--- Two Postulates of Dialectic Materialism},
+ shorttitle = {Alain {Badiou}'s Mistake},
date = {2013-01-10},
eprinttype = {arXiv},
eprint = {1301.1203v2},
@@ -5952,8 +6034,6 @@
isbn = 9783764375249,
lccn = 2007920230,
series = {Science Networks. Historical Studies, 32},
- eprinttype = {googlebook},
- eprint = {nVVsp3\_Jw0sC},
year = 2007,
publisher = {Birkh{\"a}user},
location = {Basel and Boston and Berlin},
@@ -5970,8 +6050,6 @@
pagetotal = 91,
language = {german},
langid = {german},
- eprint = {http://books.google.ru/books?id=9HoIAQAAIAAJ},
- eprinttype = {googlebooks},
}
@InBook{heidegger:psz,
@@ -5987,7 +6065,7 @@
@Article{plotnitsky:ewo,
author = {Plotnitsky, Arkady},
title = {Experimenting with ontologies},
- subtitle = {sets, spaces, and topoi with Badiou and Grothendieck},
+ subtitle = {sets, spaces, and topoi with {Badiou} and Grothendieck},
shorttitle = {Experimenting with ontologies},
volume = 30,
doi = {10.1068/d6610},
@@ -6073,8 +6151,6 @@
title = {Bergson and Philosophy},
author = {Mullarkey, John},
isbn = 9780748609574,
- eprint = {mcQ0A8gRu1cC},
- eprinttype = {googlebooks},
year = 1999,
publisher = {Edinburgh University Press},
pagetotal = 206,
@@ -6151,8 +6227,6 @@
author = {Moran, Dermot},
isbn = 9780203196632,
lccn = 16008648,
- eprint = {ouELk-xPkGQC},
- eprinttype = {googlebooks},
year = 2002,
publisher = {Taylor \& Francis},
pagetotal = 592,
@@ -6165,8 +6239,6 @@
author = {Gander, H.H.},
isbn = 9783534164936,
lccn = 2010395262,
- eprint = {PZNlPgAACAAJ},
- eprinttype = {googlebooks},
year = 2010,
publisher = {WBG, Wissenschaftliche Buchgesellschaft},
language = {german},
@@ -6184,8 +6256,6 @@
lccn = 96010139,
series = {Marquette studies in philosophy},
number = 10,
- eprint = {6-jaAAAAMAAJ},
- eprinttype = {googlebooks},
year = 1996,
publisher = {Marquette University Press},
language = {english},
@@ -6652,6 +6722,7 @@
origyear = 1979,
location = {Новосибирск},
publisher = {Изд-во Новосиб. ун-та},
+ pagetotal = {XIX, 297~с.},
isbn = {5-7615-0404-9},
origlanguage = {english},
language = {russian},
@@ -7306,7 +7377,7 @@
origlanguage = {french},
language = {russian},
langid = {russian},
- number = {\bibstring{number}~5, 6},
+ number = {5, 6},
pages = {102-114},
}
@@ -7501,8 +7572,6 @@
author = {Baudrillard, Jean},
isbn = 9782718603957,
lccn = 91186846,
- eprint = {u95oQgAACAAJ},
- eprinttype = {googlebooks},
year = 1991,
publisher = {Galilée},
location = {P.},
@@ -7536,13 +7605,13 @@
}
@InBook{aristotle:ne,
- crossref = {arist:soch},
+ crossref = {aristotle:soch-4},
author = {Аристотель},
translator = {Н. В. Брагинской},
title = {Никомахова этика},
year = 1983,
pages = {53-293},
- origlanguage = {greek},
+ _origlanguage = {greek},
language = {russian},
langid = {russian},
}
@@ -7706,11 +7775,13 @@
@Book{whitehead:icp,
author = {A. N. Whitehead},
- title = {An Inquiry Concerning the Principles of Natural Knowledge},
+ title = {An Inquiry Concerning the Principles of Natural
+ Knowledge},
year = 1919,
+ pagetotal = 216,
language = {english},
langid = {english},
- publisher = {Camb. Univ. Press},
+ publisher = {Cambridge University Press},
location = {Cambridge}
}
@@ -7720,7 +7791,7 @@
year = 1920,
language = {english},
langid = {english},
- publisher = {Camb. Univ. Press},
+ publisher = {Cambridge University Press},
location = {Cambridge},
url = {http://www.gutenberg.org/files/18835/18835-h/18835-h.htm},
}
@@ -7888,7 +7959,7 @@
@Article{shiver:hdys,
author = {Anthony Shiver},
- title = {How do you say ‘everything is ultimately composed of atoms’?},
+ title = {How do you say `everything is ultimately composed of atoms’?},
journaltitle = {Philosophical Studies},
year = 2015,
language = {english},
@@ -7899,7 +7970,7 @@
doi = {10.1007/s11098-014-0321-0},
}
-@MVBook{russell_whitehead:pm,
+@MVBook{russell:whitehead:pm,
author = {Russell, Bertrand and Whitehead, Alfred North},
title = {Principia Mathematica},
date = {1910/1913},
@@ -7917,8 +7988,6 @@
author = {Roy T. Cook},
pagetotal = 208,
isbn = 9780191648380,
- eprint = {DGeVAwAAQBAJ},
- eprinttype = {googlebooks},
year = 2014,
publisher = {OUP Oxford},
language = {english},
@@ -7983,7 +8052,6 @@
editor = {Norman Madarasz},
introduction = {Norman Madarasz},
isbn = {978-0-7914-6803-6},
- url = {https://books.google.ru/books?id=7HNkAT\_NFksC},
publisher = {SUNY Press},
location = {NY},
pagetotal = 190,
@@ -7997,7 +8065,7 @@
@Book{badiou:ctot,
author = {Badiou, Alain},
title = {Court traité d'ontologie transitoire},
- series = {Ordre philosophique},
+ series = {Collection «L'\/Ordre philosophique»},
year = 1998,
publisher = {Seuil},
location = {P.},
@@ -8013,6 +8081,7 @@
publisher = {Bradford Books/The MIT Press},
location = {Cambridge, Mass.},
year = 1986,
+ pagetotal = 195,
language = {english},
langid = {english},
}
@@ -9050,8 +9119,6 @@
author = {Fitting, Melvin},
title = {Intuitionistic logic, model theory and forcing},
series = {Studies in logic and the foundations of mathematics},
- eprint = {KLZLAAAAMAAJ},
- eprinttype = {googlebooks},
year = 1969,
publisher = {North-Holland Pub. Co.},
location = {Amsterdam and London},
@@ -9091,8 +9158,8 @@
@Article{weyl:ml,
author = {Weyl, Hermann},
title = {Mathematics and logic},
- subtitle = { A brief survey serving as a preface to a review of «The Philosophy of
- Bertrand Russell»},
+ subtitle = {A brief survey serving as a preface to a review of ``The Philosophy of
+ Bertrand Russell''},
journal = {Amer. math, monthly},
year = 1946,
volume = 53,
@@ -9186,8 +9253,8 @@
independence results, and derived rules) are obtained for such systems},
}
-@Book{htt,
- shorthand = {HoTT},
+@Book{hott-book,
+ _shorthand = {HoTT},
author = {{Univalent Foundations Program, The}},
title = {Homotopy Type Theory},
subtitle = {Univalent Foundations of Mathematics},
@@ -9195,6 +9262,7 @@
publisher = {\url{http://homotopytypetheory.org/book}},
location = {Institute for Advanced Study},
year = 2013,
+ pagetotal = 589,
language = {english},
langid = {english},
}
@@ -9331,7 +9399,7 @@
series = {Grundlehren Der Mathematischen Wissenschaften},
number = 279,
publisher = {Springer-Verlag},
- location = {Berlin Heidelberg NewYork Tokyo},
+ location = {Berlin Heidelberg},
pagetotal = 477
}
@@ -9485,10 +9553,11 @@
subtitle = {Notes by Giovanni Sambin of a series of lectures given in Padua, June
1980},
author = {Per Martin-Löf},
- publisher = {Biliopolis},
+ publisher = {Bibliopolis},
location = {Napoli},
isbn = {88-7088-105-9},
year = 1984,
+ pagetotal = 91,
language = {english},
langid = {english},
series = {Studies in Proof Theory},
@@ -9508,7 +9577,7 @@
@Article{hovda:wcm,
author = {Paul Hovda},
title = {What is Classical Mereology?},
- journaltitle = {J. Philos. Logic},
+ journaltitle = {Journal of Philosophical Logic},
year = 2009,
language = {english},
volume = 38,
@@ -9526,6 +9595,7 @@
publisher = {Birkhäuser},
series = {Frontiers in Mathematics},
location = {Basel},
+ pagetotal = 420,
language = {english},
langid = {english},
doi = {10.1007/978-3-0348-0154-6},
@@ -9617,6 +9687,7 @@
pages = {185--217},
language = {french},
langid = {french},
+ url = {http://library.msri.org/books/sga/sga/4-1/4-1t_185.html},
}
@Article{shulman:stct,
@@ -9655,7 +9726,7 @@
}
@InCollection{lawvere:etcc,
- author = {F. W. Lawvere},
+ author = {F. William Lawvere},
title = {The Category of Categories as a Foundation for Mathematics},
year = 1966,
booktitle = {Proceedings of the Conference on Categorical Algebra - La Jolla 1965},
@@ -9703,6 +9774,7 @@
volume = 165,
language = {english},
langid = {english},
+ doi = {10.1016/j.apal.2013.06.004}
}
@Article{marquis:ctf,
@@ -9789,7 +9861,10 @@
year = 2003,
language = {english},
langid = {english},
- doi = {10.2307/3109884},
+ doi = {10.2178/bsl/1058448677},
+ eprinttype = {arxiv},
+ eprintclass = {math.LO},
+ eprint = {math/0305282},
issn = 10798986,
abstract = {Following F. William Lawvere, we show that many self-referential
paradoxes, incompleteness theorems and fixed point theorems fall out of
@@ -9806,6 +9881,7 @@
location = {Cambridge},
isbn = {0-521-55830-1},
year = 1995,
+ pagetotal = 123,
series = {London Mathematical Society Lecture Note Series},
number = 220,
language = {english},
@@ -9924,6 +10000,7 @@
commentary},
year = 1969,
pages = {134-145},
+ doi = "10.1007/BFb0080769",
language = {english},
langid = {english},
}
@@ -9931,9 +10008,10 @@
@Proceedings{ctht2,
title = {Category Theory, Homology Theory and their Applications II},
titleaddon = {Proceedings of the Conference held at the Seattle Research Center of the
- Battelle Memorial Institute, June 24 - July 19,1968 Volume Two},
+ Battelle Memorial Institute, June~24--July~19, 1968 Volume Two},
editor = {Michael Barr (auth.)},
publisher = {Springer-Verlag Berlin Heidelberg},
+ location = {Berlin, Heidelberg},
year = 1969,
series = {Lecture Notes in Mathematics},
number = 92,
@@ -9998,7 +10076,7 @@
}
@Article{lawvere:af,
- author = {Lawvere, F. W.},
+ author = {F. William Lawvere},
title = {Adjointness in Foundations},
journaltitle = {Dialectica},
year = 1969,
@@ -10026,13 +10104,13 @@
note = "Towards Computer Aided Mathematics",
issn = "1570-8683",
doi = "http://dx.doi.org/10.1016/j.jal.2005.10.011",
- abstract = "This paper presents Automath encodings (which are also valid in
- LF/lambdaP) of various kinds of foundations of mathematics. Then it
- compares these encodings according to their size, to find out which
- foundation is the simplest. The systems analyzed in this way are two
- kinds of set theory (ZFC and NF), two systems based on Church's higher
- order logic (Isabelle/Pure and HOL), three kinds of type theory (the
- calculus of constructions, Luo's extended calculus of constructions, and
+ abstract = "This paper presents Automath encodings (which are also valid in LF/lambdaP)
+ of various kinds of foundations of mathematics. Then it compares these
+ encodings according to their size, to find out which foundation is the
+ simplest. The systems analyzed in this way are two kinds of set theory
+ (ZFC and NF), two systems based on Church's higher order logic
+ (Isabelle/Pure and HOL), three kinds of type theory (the calculus of
+ constructions, Luo's extended calculus of constructions, and
Martin-Löf's predicative type theory) and one foundation based on
category theory. The conclusions of this paper are that the simplest
system is type theory (the calculus of constructions), but that type
@@ -10098,6 +10176,19 @@
year = 1989,
language = {english},
langid = {english},
+ abstract = {In this paper, we show that non-well-founded sets can be defined
+ constructively by formalizing Hallnäs' limit definition of these within
+ Martin-Löf's theory of types. A system is a type W together with an
+ assignment of ᾱ ∈ U and α̃ ∈ ᾱ → W to each α ∈ W. We show that for any
+ system W we can define an equivalence relation =<sub>w</sub> such that α
+ =<sub>w</sub> β ∈ U and =<sub>w</sub> is the maximal
+ bisimulation. Aczel's proof that CZF can be interpreted in the type V of
+ iterative sets shows that if the system W satisfies an additional
+ condition (*), then we can interpret CZF minus the set induction scheme
+ in W. W is then extended to a complete system W<sup>*</sup> by taking
+ limits of approximation chains. We show that in W<sup>*</sup> the
+ antifoundation axiom AFA holds as well as the axioms of
+ CFZ<sup>-</sup>.},
}
@Book{jech:st2006,
@@ -10115,7 +10206,7 @@
@Book{fraenkel-bar-hillel-levy:fst,
title = {Foundations of set theory},
- author = {A.A. Fraenkel and Y. Bar\-Hillel and A. Levy},
+ author = {A.A. Fraenkel and Y. Bar-Hillel and A. Levy},
publisher = {Noord-Hollandsche U.M},
isbn = {0720422701,9780720422702,9780080887050},
year = 1973,