Warning: this is an htmlized version!
The original is across this link,
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",
}