|
Warning: this is an htmlized version!
The original is here, and the conversion rules are here. |
% -*- coding: raw-text -*-
% My bibliography for filter-powers and related stuff
% (find-angg "LATEX/catsem.bib")
% (find-angg "LUA/bibtex.lua")
% (find-LATEXsh "~/LUA/bibtex.lua -b filters | tee tmp.tex")
% (find-LATEXsh "rm -fv tmp.{aux,bbl,blg}; latex tmp.tex; bibtex tmp; latex tmp.tex; latex tmp.tex")
% (find-dvipage "~/LATEX/tmp.dvi")
% file:///home/edrx/TH/L/LATEX/filters.bib.html
% (find-angg ".emacs.papers" "bibtex")
% (find-btxdocpage 1)
% (find-btxdoctext)
% (find-btxdoctext "techreport")
% (find-btxdoctext "article An article")
% (find-btxdoctext "Abbreviations are provided")
% (find-btxdoctext "misc Use this type when")
% (find-node "(web2c)Basic BibTeX style files")
% (find-sh "locate btxbst")
% (find-sh "locate btxbst")
% (find-fline "/usr/share/texmf-tetex/source/bibtex/germbib/document/btxbst.doc")
% (find-sh "locate 'bst' | grep 'bst$'")
% (find-fline "/usr/share/texmf-texlive/bibtex/bst/")
% (code-c-d "bst" "/usr/share/texmf-texlive/bibtex/bst/")
% (find-bstgrep "grep -niH -e journal $(find *)")
% (find-bstgrep "grep -niH -e 'journal of' $(find *)")
% (find-bstgrep "grep -nH -e 'Journal of the ACM' $(find *)")
% (find-bstfile "")
% «.avigad» (to "avigad")
% «.banaschewski» (to "banaschewski")
% «.beeson» (to "beeson")
% «.bell» (to "bell")
% «.blass» (to "blass")
% «.butz» (to "butz")
% «.davis» (to "davis")
% «.eliasson» (to "eliasson")
% «.halpern» (to "halpern")
% «.henson-keisler» (to "henson-keisler")
% «.laugwitz» (to "laugwitz")
% «.johnstone» (to "johnstone")
% «.koubek-reiterman» (to "koubek-reiterman")
% «.moerdijk» (to "moerdijk")
% «.nelson» (to "nelson")
% «.palmgren» (to "palmgren")
% «.robinson» (to "robinson")
% «.antipodes» (to "antipodes")
% (find-LATEX "2008filterp.tex")
% «avigad» (to ".avigad")
% (find-angg ".emacs.papers" "avigad")
@Article{AvigadHelzner,
author = "Jeremy Avigad and Jeffrey Helzner",
title = "Transfer principles in nonstandard intuitionistic arithmetic",
journal = "Archive for Mathematical Logic",
year = "2002",
volume = "41",
pages = "581-602",
}
% «banaschewski» (to ".banaschewski")
% http://en.wikipedia.org/wiki/Ultrafilter_lemma
@Article{Banaschewski83,
author = "Bernhard Banaschewski",
title = "The Power of the Ultrafilter Theorem",
journal = "Journal of the London Mathematical Society",
year = "1983",
volume = "27",
number = "2",
pages = "193--202",
}
% «beeson» (to ".beeson")
% (find-angg ".emacs.papers" "beeson")
% (find-beesonnsaecpage 1)
% (find-beesonnsaectext)
@Article{Beeson95,
author = "Michael Beeson",
title = "Using nonstandard analysis to verify the correctness of computations",
journal = "International Journal of Foundations of Computer Science",
year = "1995",
volume = "6",
number = "3",
pages = "299-338",
}
% (find-beesonlimitspage 1)
% (find-beesonlimitstext)
@Article{BeesonWiedijk05,
author = "Michael Beeson and Freek Wiedijk",
title = "The meaning of infinity in calculus and computer algebra systems",
journal = "Journal of Symbolic Computation",
year = "2005",
volume = "39",
number = "5",
pages = "523-538",
}
% «bell» (to ".bell")
@Book{Bell98,
author = "John. L. Bell",
title = "A Primer of Infinitesimal Analysis",
publisher = "Cambridge University Press",
year = "1998",
}
% «blass» (to ".blass")
% (find-angg ".emacs.papers" "blass")
% (find-blassfilterspage 1)
@Article{Blass77,
author = "Andreas Blass",
title = "Two closed categories of filters",
journal = "Fundamenta Mathematicae",
year = "1977",
volume = "94",
number = "2",
pages = "129-143",
}
% «butz» (to ".butz")
% (find-angg ".emacs.papers" "butz")
% (find-butzfilterpage 1)
% (find-butzfiltertext)
@Misc{ButzFilter,
title = "The Filter Construction Revisited",
author = "Carsten Butz",
year = "1999",
howpublished = "Preprint",
URL = "http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.44.1424"
}
% «davis» (to ".davis")
% Concurrence theorem: p.33
@Book{Davis77,
author = "Martin Davis",
title = "Applied Nonstandard Analysis",
publisher = "John Wiley",
address = "New York",
year = "1977",
ISBN = "0471198978",
}
% «eliasson» (to ".eliasson")
% (find-angg ".emacs.papers" "eliasson")
% (find-eliassonpage 1)
% (find-eliassontext)
@TechReport{EliassonUSCU,
title = "Ultrapowers as Sheaves on a Category of Ultrafilters",
author = "Jonas Eliasson",
year = "2001",
institution = "Uppsala University",
annote = "Jonas Eliasson (U.U.D.M. Report 2001:15);",
URL = "http://www.math.uu.se/research/pub/FEliasson1.pdf",
}
% «halpern» (to ".halpern")
@Article{Halpern64,
author = "J. D. Halpern",
title = "The independence of the axiom of choice from the
Boolean Prime ideal theorem",
journal = "Fundamenta Mathematicae",
year = "1964",
pages = "57-66",
}
% «henson-keisler» (to ".henson-keisler")
% The Math Reviews entry for Nelson88 pointed to this
@Article{HensonKeisler,
author = "C. Ward Henson and H. Jerome Keisler",
title = "On the strength of nonstandard analysis",
journal = "The Journal of Symbolic Logic",
year = "1986",
volume = "51",
number = "2",
pages = "377-386",
}
% «laugwitz» (to ".laugwitz")
% (to "antipodes")
@InBook{Laugwitz99,
crossref = "Antipodes",
author = "Detlef Laugwitz",
title = "Curt Schmieden's approach to infinitesimals: an
eye-opener to the historiography of analysis",
pages = "127-142",
}
% «johnstone» (to ".johnstone")
% (find-LATEX "catsem.bib" "bib-Johnstone")
@Book{Johnstone77,
author = {P. T. Johnstone},
title = {Topos Theory},
publisher = {Academic Press},
year = {1977},
}
% «koubek-reiterman» (to ".koubek-reiterman")
% (find-eliassontext "V. Koubek and J. Reiterman")
@Article{KoubekReiterman,
author = "Václav Koubek and Jan Reiterman",
title = "On the category of filters",
journal = "Commentationes Mathematicae Universitatis Carolinae",
year = "1970",
volume = "11",
number = "1",
pages = "19-29"
}
% «moerdijk» (to ".moerdijk")
% http://www.informatik.uni-trier.de/~ley/db/journals/apal/apal73.html
@Article{Moerdijk95,
author = "Ieke Moerdijk",
title = "A model for intuitionistic non-standard arithmetic",
journal = "Annals of Pure and Applied Logic",
year = "1995",
volume = "73",
number = "1",
pages = "37-51",
}
% «nelson» (to ".nelson")
% (find-nelson77page 1)
@Article{Nelson77,
author = "Edward Nelson",
title = "Internal set theory: a new approach to nonstandard analysis",
journal = "Bulletin of the American Mathematical Society",
year = "1977",
volume = "83",
number = "6",
pages = "1165-1198",
}
@Article{Nelson88,
author = "Edward Nelson",
title = "The syntax of nonstandard analysis",
journal = "Annals of Pure and Applied Logic",
year = "1988",
volume = "38",
pages = "123-134",
}
% «palmgren» (to ".palmgren")
% http://www.informatik.uni-trier.de/~ley/db/journals/apal/apal73.html
@Article{Palmgren95,
author = "Erik Palmgren",
title = "A Constructive Approach to Nonstandard Analysis",
journal = "Annals of Pure and Applied Logic",
year = "1995",
volume = "73",
number = "3",
pages = "297-325",
}
% http://www.informatik.uni-trier.de/~ley/db/journals/apal/apal85.html
@Article{Palmgren97,
author = "Erik Palmgren",
title = "A sheaf-theoretic foundation for nonstandard analysis",
journal = "Annals of Pure and Applied Logic",
year = "1997",
volume = "85",
number = "1",
pages = "69-86",
}
% (find-angg ".emacs.papers" "palmgren")
% (find-palmgrendicnapage 1)
% (find-palmgrendicnatext)
@Article{Palmgren98,
author = "Erik Palmgren",
title = "Developments in constructive nonstandard analysis",
journal = "The Bulletin of Symbolic Logic",
year = "1998",
volume = "4",
number = "3",
pages = "233-272",
}
@Article{Palmgren00im,
author = "Erik Palmgren",
title = "Constructive nonstandard representations of generalized functions",
journal = "Indagationes Mathematicae",
year = "2000",
volume = "11",
number = "1",
pages = "129-138",
}
% http://www.informatik.uni-trier.de/~ley/db/journals/mlq/mlq46.html
% http://www3.interscience.wiley.com/journal/69502986/abstract
@Article{Palmgren00mlq,
author = "Erik Palmgren",
title = "An Effective Conservation Result for Nonstandard Arithmetic",
journal = "Mathematical Logic Quarterly",
year = "2000",
volume = "46",
number = "1",
pages = "17-23",
}
% (to "antipodes")
@InBook{Palmgren01ant,
crossref = "Antipodes",
author = "Erik Palmgren",
title = "Unifying Constructive and Nonstandard Analysis",
year = "2001",
pages = "167-183",
}
@Article{Palmgren01jpal,
author = "Erik Palmgren",
title = "Real numbers in the topos of sheaves over the category of filters",
journal = "Journal of Pure and Applied Algebra",
year = "2001",
volume = "160",
number = "2-3",
pages = "275-284",
}
% «robinson» (to ".robinson")
% (find-books "__logic/__logic.el" "robinson")
%
@Book{Robinson66,
author = "Abraham Robinson",
title = "Non-Standard Analysis",
publisher = "Noth-Holland",
address = "Amsterdam",
year = "1966",
}
@Article{Robinson73,
author = "Abraham Robinson",
title = "Metamathematical problems",
journal = "Journal of Symbolic Logic",
year = "1973",
volume = "38",
number = "3",
pages = "500-516",
}
% --------------------
% --------------------
% «antipodes» (to ".antipodes")
% (find-LATEX "catsem.bib" "bib-Antipodes")
% series = "Synthese Library",
@Book{Antipodes,
editor = "Ulrich Berger and Horst Osswald and Peter Schuster",
title = "Reuniting the Antipodes --- Constructive and
Nonstandard Views of the Continuum (Venice, 1999)",
publisher = "Kluwer",
year = "2001",
volume = "306",
}