@string{apal = "Annals of Pure and Applied Logic"}
@string{fm = "Fundamenta Mathematicae"}
@string{comb = "Combinatorica"}
@string{AMASH = {Acta Mathematica Scientiarum Hungaricae}}
@string{aml = "Archives for Mathematical Logic"}
@string{ArM = {Archiv der Mathematik}}
@string{AU =  {Algebra Universalis}}
@string{blms = "Bulletin of the London Mathematical Society"}
@string{CIA = "Comunications in Algebra"}
@string{crasp = "Compte Rendu Acad. Sci. Paris"}
@string{ijm = "Israel Journal of Mathematics"}
@string{MoMa = {Monatshefte f{\"u}r Mathematik}}
@string{MZ = {Mathematische Zeitschrift}}
@string{pams = "Proceedings of the American Mathematical Society"}
@string{phm = "Philosophia Mathematicae"}
@string{portm = "Portugalia Math."}
@string{rms = "Rocky Mountain Journal"}
@string{sem = "Mathematische Semesterberichte"}
@string{siamjdm = "Siam Journal of Discrete Mathematics"}
@string{tams = "Transactions of the American Mathematical Society"}
@string{mlq = "Mathematical Logic Quarterly"}
@string{cmj = "Czechoslovak Mathematical Journal"}


@preamble{"\bigskip\bigskip  
  \def\nbibitem[#1]{\advance\bcount1 \bibitem[\number\bcount]}
   \newcount\bcount
   \def\acceptedinprint{accepted/in print}
   \def\submittedinpreparation{submitted/in preparation}"}







@misc{diplom,
    title = {{Completion of Semirings}},
    author = {Martin Goldstern},
    eprint = {math.RA/0208134},
	year= 1987,
	note = {Diploma thesis, TU Wien},
}


@InCollection{glv1,
  author =       "Martin Goldstern",
  title =        "{Eine Klasse vollst{\"a}ndig gleichverteilter
		  Folgen}",
  booktitle =    "Zahlentheoretische Analysis~II",
  publisher =    "Springer",
  year =         1987,
  editor =       "Edmund Hlawka",
  number =       1262,
  series =       "Springer Lecture Notes in Mathematics",
  pages =        "37--45",
  summary = {(In German.) It has been shown previously that if 
		$(a_n)$ is a sequence of distinct real positive numbers, 
		any two of which are at least a distance $\delta$ apart, 
		then for almost all $x>$, $(x^{a_n})$ is completely 
		uniformly distributed modulo 1.   
		(I.e., for all $k$, 
		for any $k$-dimensional cube $C \subseteq [0,1]^k$, 
		the density of the set of those $n$ for which 
		$(x^{a_{n+1}}, ..., x^{a_{n+k}})$ is in $C$  
		is $\mu(C)$.)
		We generalize this theorem to also admit certain 
		sequences $(a_n)$ which are dense in the positive real 
		numbers.},
},

@InCollection{glv2,
  author =       "Martin Goldstern",
  title =        "{Vollst{\"a}ndige
	Gleichverteilung in diskreten R{\"a}umen}",
  booktitle =    "Zahlentheoretische Analysis~II",
  publisher =    "Springer",
  year =         1987,
  editor =       "Edmund Hlawka",
  number =       1262,
  series =       "Springer Lecture Notes in Mathematics",
  pages =        "46--49",
  summary = {(In German.) 
		For  any $c < 1$, almost all $\{0,1\}$-sequences
		are $(c * \log n)$-uniformly distributed. 
		($\log$ is the logarithm with base 2)
		We construct an explicit example of such a sequence.},
}



@Article{GTT,
  author =       "Martin Goldstern and Robert Tichy and G. Turnwald",
  title =        "{The distribution of the ratios
	of terms in a linear recurrence}",
  journal =      MoMa,
  year =         1989,
  volume =       107,
  pages =        "35-55",
  summary = {If the sequence $(a_n)$ of real numbers satisfies a 
	linear recurrence with constant coefficients, what can 
	be said about the distribution of the quotients 
	$a_{n+1}/a_n$ modulo 1?  
	If the characteristic polynomial has a unique largest root, then
	of course the sequence of quotients converges to that root. 
	Otherwise, it turns out that there is a continuous distribution
	function.   In the case of two or three roots of largest 
	absolute value, this function we compute this function explicitly. 
	[Surprisingly, sometimes the case of three roots can be reduced
	to the case of two roots.]   
	In the general case, the function can be written as a 
	finite sum of certain integrals. 
	We also give estimates for the discrepancy.},
}
	   



@article{GoSh:388,
mathreviews = {91m:03050},
class = {(03E05)},
sclass = {(03E35); (04A20)},
author = {Goldstern, Martin and Shelah, Saharon},
fromwhere = {1,IL},
journal = {{Annals of Pure and Applied Logic}},
year = {1990},
volume = {49},
title = {{Ramsey ultrafilters and the reaping number---${\rm Con}({ r}<{ u})$}},
pages = {121--142},
original = {No F},
done = {5--6.1989},
},

	   
	   


@article{GJSh:399,
mathreviews = {91g:03093},
class = {(03E05)},
sclass = {(54A25)},
author = {Goldstern, Martin and Judah, Haim and Shelah, Saharon},
fromwhere = {1,IL,IL},
journal = {{Proceedings of the American Mathematical Society}},
year = {1991},
volume = {111},
title = {{Saturated families}},
pages = {1095--1104},
},

@article{GJSh:369,
mathreviews = {91g:54008},
class = {(54A25)},
sclass = {(03E50); (03E75)},
author = {Goldstern, Martin and Judah, Haim and Shelah, Saharon},
fromwhere = {1,IL,IL},
journal = {{Proceedings of the American Mathematical Society}},
year = {1991},
volume = {111},
title = {{A regular topological space having no closed subsets of cardinality $\aleph\sb 2$}},
pages = {1151--1159},
done = {10.1988},
},




@Article{pmbc,
  author =       "Martin Goldstern and Haim Judah",
  title =        "{Iteration of
	Souslin Forcing, Projective Measurability and the
	Borel Conjecture}",
  journal =      IJM,
  year =         1992,
  volume =       78,
  pages =        "335-362"
}




@InProceedings{tools,
  author =      "Martin Goldstern",
  title =        "{Tools for Your Forcing Construction}",
  year =         1993,
  editor =       "Haim Judah",
  volume =       6,
booktitle = "Set Theory of The Reals",
  series =       "Israel Mathematical Conference Proceedings",
  publisher =    "American Mathematical Society",
  pages= "305-360"
}




@article{438,
author = {Goldstern, Martin and Judah, Haim and Shelah, Saharon},
fromwhere = {IL,IL,IL},
journal = {{Journal of Symbolic Logic}},
volume = {58},
title = {{Strong measure zero sets without Cohen reals}},
ackn = {ACAD},
pages = {1323--1341},
year = {1993},
eprint = {math.LO/9306214},
},

@article{434,
mathreviews = {93d:03055},
class = {(03E35)},
sclass = {(28A05); (28E15); (54A25)},
author = {Bartoszy\'nski, Tomek and Goldstern, Martin and Judah, Haim and Shelah, Saharon },
fromwhere = {1,IL,IL,IL},
journal = {{Proceedings of the American Mathematical Society}},
title = {{All meager filters may be null}},
volume = {117},
pages = {515--521},
year = {1993},
original = {2.12.92 BIL},
ackn = {ACAD},
eprint = {math.LO/9301206},
},

@article{GoSh:448,
mathreviews = {94c:03064},
class = {(03E05)},
sclass = {(03E35); (04A15)},
author = {Goldstern, Martin and Shelah, Saharon},
fromwhere = {D,IL},
journal = {{Archive for Mathematical Logic}},
volume = {32},
year = {1993},
pages = {203--221},
title = {{Many simple cardinal invariants}},
ackn = {ACAD,Landau},
done = {1.1991, 5-6.1991},
eprint = {math.LO/9205208},
},


@Article{sf,
  author =       "Martin Goldstern",
  title =        "{An Application of Shoenfield's Absoluteness Theorem
		  to the Theory of Uniform Distribution}",
  journal =      moma,
  year =         1993,
  volume =       116,
  pages =        "237-243",
eprint = {math.LO/9308201},
}




@Article{tt,
  author =       "Martin Goldstern and Mark Johnson and Otmar Spinas",
  title =        "{Towers on Trees}",
  journal =      PAMS,
  year =         1994,
  volume =       122,
  pages =        "557-564"
}

@Article{cud,
  author =       "Martin Goldstern",
  title =        "{The Complexity of Uniform Distribution}",
  journal =      "Mathematica Slovaca",
  year =         1994,
  volume =   44,
pages = {491--500},
}





@article{487,
author = {Goldstern, Martin and Repick\'y, Miroslav and Shelah, Saharon and Spinas, Otmar},
fromwhere = {D,SL,CH,IL},
journal = {{Proceedings of the American Mathematical Society}},
volume = {123},
year = {1995},
pages = {1573--1581},
title = {{On tree ideals}},
ackn = {DFG,Landau},
abstract = {Let $l^0$ and $m^0$ be the ideals associated with Laver
      and Miller forcing, respectively. We show that ${\bf add }(l^0)
      < {\bf cov}(l^0)$ and ${\bf add }(m^0) < {\bf cov}(m^0)$ are
      consistent.  We also show that both Laver and Miller forcing
      collapse the continuum to a cardinal $\le {\bf h}$.},
eprint = {math.LO/9311212},
},

@article{507,
author = {Goldstern, Martin and Shelah, Saharon},
fromwhere = {D,IL},
journal = {{Journal of Symbolic Logic}},
volume = {60},
pages = {58-73},
year = {1995},
title = {{The Bounded Proper Forcing Axiom}},
ackn = {Landau, DFG},
typist = {Goldstern},
done = {5.1993},
eprint = {math.LO/9501222},
},


@Book{logic,
  author =       "Martin Goldstern and Haim Judah",
  title =        "{The Incompleteness Phenomenon.  A New Course in
		  Mathematical Logic}",
  publisher =    "A.K.Peters",
  year =         1995,
  address =      "Boston"
}




@Article{GGK,
  author =       "Martin Goldstern and Rami Grossberg and Menachem Kojman",
  title =        "{Infinite Homogeneous
				Bipartite Graphs  With Unequal Sides}",
  journal =   "Discrete Mathematics",
  year =    1996, 
  volume =    149,
  pages =     {69-82},
eprint = {math.LO/9409204},
},

@Article{mfl,
  author =       "Martin Goldstern",
  title =        "{Interpolation of Monotone Functions
	 in Lattices}",
  journal =      AU,
  year = 1996,
  volume = 36,
  pages = {108--121},
}

@Article{arrow,
  author =       "Martin Goldstern and Menachem Kojman ",
  title =        " Universal arrow-free graphs",
  journal = "Acta Mathematica Hungarica",
  year =      1996,
  volume = 73,
  pages = {319--326},
eprint = {math.LO/9409206},
}





@article{dede,
author = {Martin Goldstern},
title = {Strongly amorphous sets and dual {D}edekind infinity},
journal = {Mathematical Logic Quarterly},
year = 1997,
volume = 43,
pages = {39--44},
eprint = {math.LO/9504201},
},







@article{554,
author = {Goldstern, Martin and Shelah, Saharon},
trueauthor = {Goldstern, Martin and Shelah, Saharon},
fromwhere = {A, IL},
journal = {Fundamenta Mathematicae},
volume = 152,
pages = {255--265},
title = {{A partial order where all monotone maps are definable}},
eprint = {math.LO/9707202},
year = 1997,
},



@Article{most,
  author =       "Martin Goldstern",
  title =        "{Most algebras have the Interpolation Property}",
  journal = AU,
  volume = 38,
  year = 1997,
  pages = {97--114},
}






@InProceedings{taste,
  author = 	 {Martin Goldstern},
  title = 	 {A Taste of Proper Forcing},
  booktitle = 	 {Set theory: techniques and applications.},
  editor =	 {Di Prisco, Carlos Augusto},
  year =	 1998,
  publisher =	 {Kluwer Academic Publishers},
  address =	 {Dordrecht},
  pages =	 {71-82},
  note =	 { Proceedings of the conferences, Curacao,
                  Netherlands Antilles, June 26--30, 1995 and
                  Barcelona, Spain, June 10--14, 1996.}
}


@incollection{l01,
title = {Interpolation of Monotone Functions in $\{0,1\}$-Lattices},
author = {Martin Goldstern},
booktitle = {Contributions to General Algebra 10},
year  = 1998,
publisher = {Heyn Verlag},
}


@article{633, 
author = {Goldstern, Martin and Shelah, Saharon},
journal = {{Algebra Universalis}},
year = 1998,
title = {{Order-polynomially complete lattices must be LARGE}},
done = {01.1997},
volume = 39,
pages = {197-209},
abstract = {If $L$ is an order-polynomially complete lattice, then the
      cardinality of $L$ must be a strongly inaccessible cardinal},
submitted = {submitted:06.02.1997  to Graetzer - accepted 07.97},
eprint = {math.LO/9707203},
ackn = {GIF},
}



@article{fuzzy,
author = {Martin Goldstern},
title = {The complexity of fuzzy tautologies},
eprint ={math.LO/9707205},
},



@article{taschner,
author = {Martin Goldstern},
title = {{Mathematik: Asymptote der Wahrheit}},
journal = {Ethik und Sozialwissenschaften: Streitforum f\"ur Erw\"agungskultur},
year = 1998,
volume = 9,
number=3,
pages={448-450},
},



@article{hom,
author = {Martin Goldstern and Menachem Kojman},
title = {Rules and reals},
volume=127,
year=1999,
pages={1517--1524},
journal = pams,
eprint = {math.LO/9707204},
},


@article{opc,
author = {Goldstern, Martin and Shelah, Saharon},
journal = {{Algebra Universalis}},
title = {{There are no order-polynomially complete lattices, after all}},
year=1999,
pages={49-57},
volume=42,
eprint={math.LO/9810050},
}


@article{GWS,
title = {Metric, fractal dimensional and {B}aire results on the
          distribution of subsequences},
author = {Martin Goldstern and J\"org Schmeling and Reinhard Winkler},
journal = {Mathematische Nachrichten},
volume = 219,
year = 2000,
pages = {97-108},
},


@article{hier,
author ={Martin Goldstern},
title = {{Mengenlehre: Hierarchie der Unendlichkeiten}},
note = {Ausarbeitung eines Vortrags anl{\"a}{\ss}lich des
        Lehrerfortbildungstages 2000. 
        {\tt http://info.tuwien.ac.at/goldstern/papers/index.html\char`\#didaktik }
         },
 journal  = {{\"O}MG-Didaktikhefte}},
 volume =   {31},
 year =     {2000},
},




@proceedings{cga12, 
editor = {D. Dorninger and G. Eigenthaler and M. Goldstern and 
          H. K. Kaiser and W. More and W. B. M{\"u}ller}, 
title= {Contributions to General Algebra 12},
note = {Proceedings of the meeting AAA 58, Vienna, June 1999},
year = {2000},
}

@inproceedings{aaa58,
title={Lattices, interpolation and set theory},
author={Martin Goldstern},
booktitle={Contributions to General Algebra 12},
year = {2000},
eprint = {math.RA/0004047},
note = {Proceedings of the meeting AAA 58, Vienna, June 1999},
}


@article{ortho,
author = {Martin Goldstern},
title = {Interpolation in ortholattices},
submitted = {to A.U. Manitoba, Feb 28, 2000, accepted aug 00 schmidt, 
      galley nov 2000},
eprint = {math.RA/0002237},
journal = AU,
pages = {63--70},
year = 2001,
volume = 45,
},






@article {GS:pos,
    AUTHOR = {Goldstern, Martin R. and Schweigert, Dietmar},
     TITLE = {Power-ordered sets},
  JOURNAL = {Discussiones Mathematicae. General Algebra and Applications},
    VOLUME = {22},
      YEAR = {2002},
    NUMBER = {1},
     PAGES = {39--46},
      ISSN = {1509-9415},
   MRCLASS = {06A06},
  MRNUMBER = {1 928 061},
}

@article {GP:bdc,
    AUTHOR = {Goldstern, Martin and Plo{\v{s}}{\v{c}}ica, Miroslav},
     TITLE = {Balanced {$d$}-lattices are complemented},
   JOURNAL = {Discussiones Mathematicae. General Algebra and Applications},
    VOLUME = {22},
      YEAR = {2002},
    NUMBER = {1},
     PAGES = {33--37},
      ISSN = {1509-9415},
   MRCLASS = {06B10 (08A30)},
  MRNUMBER = {1 928 060},
	eprint = {math.RA/0111282},
}
@article {737,
    AUTHOR = {Goldstern, Martin and Shelah, Saharon},
     TITLE = {Clones on regular cardinals},
   JOURNAL = {Fundamenta Mathematicae},
    VOLUME = {173},
      YEAR = {2002},
    NUMBER = {1},
     PAGES = {1--20},
      ISSN = {0016-2736},
   MRCLASS = {08A40 (03B50 03E05)},
  MRNUMBER = {1 899 044},
	eprint = {math.LO/0005273},
}





@article{GoSh:696,
author = {Goldstern, Martin and Shelah, Saharon},
journal = {Order},
title = {{Antichains in products of linear orders}},
abstract = {{We show that:  For many cardinals $ \lambda$, for all
	$n\in \{2,3,4,\ldots\}$ There is a linear order $L$ such that
	$L^n$ has no (incomparability-)antichain of cardinality
	$\lambda$, while $L^{n+1}$ has an antichain of cardinality
	$\lambda$.   For any nondecreasing sequence $(\lambda_n: n \in
	\{2,3,4,\ldots\})$ of infinite cardinals it is consistent that
	there  is a linear order $L$ such that $L^n$ has an antichain
	of cardinality $\lambda_n$, but not one of cardinality
	$\lambda_n^+$.}},
submitted = {to Ivan Rival for "Order", 1999-03-01},
texfile = {~/papers/current/696.tex},   
volume = {19},
number = {3},
year = {2002},
pages = {213--222},
eprint= {math.LO/9902054},
keywords = {},	 
},

@misc{cov,
    title = {{Continuous Ramsey theory on Polish spaces and covering the
        plane by functions}},
    author = {Stefan Geschke and Martin Goldstern and Menachem Kojman},
    eprint = {math.LO/0205331},
	journal = {Journal of Mathematical Logic},
	volume= {to appear},
}


@inproceedings{mono,
 author= {Martin R. Goldstern},
 title= {Recursive mono-unaries: an exercise in quantifier elimination},
booktitle={Contributions to General Algebra 15},
year = {2004},
note = {Proceedings of the meeting AAA 65, Klagenfurt, 2003},
}



@article{747,
 author = {Goldstern, Martin and Shelah, Saharon},
 trueauthor = {Goldstern, Martin and Shelah, Saharon},
 title = {{Large intervals in the Clone lattice}},
 journal = {submitted},
 volume = {},
 done = {},
	eprint = {math.RA/0208066},
},




@article{808,
author = {Goldstern, Martin and Shelah, Saharon},
title = {{Clones from Creatures}},
journal = {Transactions of the American Mathematical Society},
volume = {to appear},
office = {comes from F572},
eprint = {math.RA/0212379 },
},


@article{822,
author = {Boerner, Ferdinand and Goldstern, Martin and   Shelah, Saharon},
trueauthor = {B\"orner, Ferdinand and Goldstern, Martin and Shelah, Saharon},
title = {{Automorphisms and strongly invariant relations}},
journal = {submitted},
eprint = {math.LO/0309165},
},


@proceedings{cga14, 
editor = {I. Chajda and K. Denecke and G. Eigenthaler and M. Goldstern and 
          W. B. M{\"u}ller and R. P{\"o}schel}, 
title= {Contributions to General Algebra 14},
note = {Proceedings of the Olomouc workshop 2002 (AAA 64) and the Potsdam Workshop 2003 (AAA 65)},
year = {2004},
},

@proceedings{cga15, 
editor = {G. Eigenthaler and M. Goldstern and H. K. Kaiser and H. Kautschitsch and W. More and W. B. M{\"u}ller  J. Schoi{\ss}engeier}, 
title= {Contributions to General Algebra 15},
note = {Proceedings of the Klagenfurt 2003 (AAA 66)},
year = {2004},
}


@article{analytic,
 author = {Martin Goldstern},
 title = {Analytic clones},
 eprint = {math.RA/0404214},
 year={2004},
}

@article{conuni,
 author = {Martin R. Goldstern},
 title = {Yet another note on congruence uniformity}, 
 year={200x},
 journal={Demonstratio Mathematica}, 
},