Refereed Articles
- Indexing Techniques for Non-metric Music Dissimilarity Measures
In Advances in Music Information Retrieval, volume 274 of Studies in Computational Intelligence.
Zbigniew W. Ras, Alicja Wieczorkowska (editors). Springer Verlag. 2010. pp. 3-18.
Joint work with Rainer Typke - Some Vantage Indexing Approaches for Rhythmic and Melodic Search.
Musicae Scientiae, issue 4B. 2009. pp. 201-234.
Joint work with Rainer Typke - A Tunneling-Vantage Indexing Method for Non-Metrics.
ISMIR 2008: Proceedings of the Ninth International Conference on Music Information Retrieval.
Juan Pablo Bello, Elaine Chew, Douglas Turnbull (editors). 2008. pp 683-688.
Joint work with Rainer Typke - A Model-theoretic Approach to Structures in Set Theory without the Axiom of Choice.
Algebra, Logic, Set Theory: Festschrift für Ulrich Felgner zum 65 Geburtstag.
Frieder Haug, Benedikt Löwe, Torsten Schatz (editors). Studies in Logic, Volume 4. College Publications at Kings College London, 2007, pp. 255-289. - The First-order Structure of Weakly Dedekind-finite Sets.
Journal of Symbolic Logic. Volume 70, No. 4, December 2005, pp. 1161-1170.
Pre-prints and submitted articles
- Potential Isomorphism of Elementary Substructures of a Strictly Stable Homogeneous Model.
Submitted: March 22, 2010. 18 pages.
Joint work with Tapani Hyttinen and Sy-David Friedman
Preprint appearance as:
Potential Isomorphism of Elementary Substructures of a Homogeneous Model. Version: March 15, 2010. 19 pages.
Institut Mittag-Leffler Preprint Series Fall 2009, Mathematical Logic: Set Theory and Model Theory.
Because of copyright concerns, please log in if you want to download any journal articles or papers. E-mail me (see here) for a username and password to access my papers. Alternatively, take special notice of the font choice in this paragraph.
Theses
- Dedekind-finite Structures
Thesis for the degree of Doctor of Philosophy.
Written under the supervision of Professor John K. Truss.
University of Leeds, UK. - On Two Definitions of Continuity
Thesis for the degree of Magister Matematyki (comparable to an MSc in Mathematics).
Written under the supervision of Professor Jacek Cichon.
University of Wroclaw, Poland.

Last update: 15:08 04/04 2010
*)Images on this page produced using CFDG, and are composed of a somewhat random placement of the "forces", "models", and "entails" (or "proves") symbols.