Inverse problem for upper asymptotic densityRENLING JIN.Transactions of the American Mathematical Society. 2003, Vol 355, Num 1, pp 57-78, issn 0002-9947, 22 p.Article

Game Logic for game theoristsPAULY, Marc.Report - Information systems. 2000, Num 17, pp 1-18, issn 1386-3681Article

ZFC : an axiomatic approach to nonstandard methodsDI NASSO, M.Comptes rendus de l'Académie des sciences. Série 1, Mathématique. 1997, Vol 324, Num 9, pp 963-967, issn 0764-4442Article

Standard foundations for nonstandard analysisBALLARD, D; HRBACEK, K.The Journal of symbolic logic. 1992, Vol 57, Num 2, pp 741-748, issn 0022-4812Article

Extended use of ISTVAN DEN BERG, I. P.Annals of pure and applied logic. 1992, Vol 58, Num 1, pp 73-92, issn 0168-0072Article

Nonstandard set theoryFLETCHER, P.The Journal of symbolic logic. 1989, Vol 54, Num 3, pp 1000-1008, issn 0022-4812Article

Inconsistent nonstandard arithmeticMORTENSEN, C.The Journal of symbolic logic. 1987, Vol 52, Num 2, pp 512-518, issn 0022-4812Article

A note on satisfaction classesKOSSAK, R.Notre Dame journal of formal logic. 1985, Vol 26, Num 1, pp 1-8, issn 0029-4527Article

The long-term impact of university budget cuts : A mathematical modelDE PILLIS, E. G; DE PILLIS, L. G.Mathematical and computer modelling. 2001, Vol 33, Num 8-9, pp 851-876, issn 0895-7177Article

Weak arithmeticsRESSAYRE, J.-P.Theoretical computer science. 2001, Vol 257, Num 1-2, pp 1-15, issn 0304-3975Article

Finite substructure lattices of models of Peano arithmeticSCHMERL, J. H.Proceedings of the American Mathematical Society. 1993, Vol 117, Num 3, pp 833-838, issn 0002-9939Article

Une version non standard du théorème de F. Riesz = A nonstandard version of Riesz's theoremIDRISS BEN EL MAMOUNE; BENOIT, E; LOBRY, C et al.Comptes rendus de l'Académie des sciences. Série 1, Mathématique. 1993, Vol 316, Num 7, pp 653-656, issn 0764-4442Article

A theorem on the isomorphism propertyRENLING JIN.The Journal of symbolic logic. 1992, Vol 57, Num 3, pp 1011-1017, issn 0022-4812Article

Une théorie relative des ensembles internes = A relative internal set theoryPERAIRE, Y; WALLET, G.Comptes rendus de l'Académie des sciences. Série 1, Mathématique. 1989, Vol 308, Num 11, pp 301-304, issn 0764-4442Article

Algebraic extensions in nonstandard models and Hilbert's irreducibility theoremYASUMOTO, M.The Journal of symbolic logic. 1988, Vol 53, Num 2, pp 470-480, issn 0022-4812Article

Nonstandard asymptotic analysisVAN DEN BERG, I.Lecture notes in mathematics. 1987, Vol 1249, issn 0075-8434, IX-187 pSerial Issue

On the strength of nonstandard analysisHENSON, C. W; KEISLER, H. J.The Journal of symbolic logic. 1986, Vol 51, Num 2, pp 377-386, issn 0022-4812Article

On nonstandard models in higher order logicHORT, C; OSSWALD, H.The Journal of symbolic logic. 1984, Vol 49, Num 1, pp 204-219, issn 0022-4812Article

A note on the undefinability of cutsPARIS, J. B; DIMITRACOPOULOS, C.The Journal of symbolic logic. 1983, Vol 48, Num 3, pp 564-569, issn 0022-4812Article

Hausdorff ultrafiltersDI NASSO, Mauro; FORTI, Marco.Proceedings of the American Mathematical Society. 2006, Vol 134, Num 6, pp 1809-1818, issn 0002-9939, 10 p.Article

Lifting Lévy processes to hyperfinite random walksALBEVERIO, Sergio; HERZBERG, Frederik S.Bulletin des sciences mathématiques (Paris. 1885). 2006, Vol 130, Num 8, pp 697-706, issn 0007-4497, 10 p.Article

Discrete and continuous methods of demographyOBERSCHELP, Walter.Logic versus approximation : essays dedicated to Michael M. Richter on the occasion of his 65th birthday. Lecture notes in computer science. 2004, pp 43-58, issn 0302-9743, isbn 3-540-22562-5, 16 p.Book Chapter

Cercles vicieux, mathématiques et formalisations logiques = Vicious circles, mathematics and logicLONGO, Giuseppe.Mathématiques et sciences humaines (2000). 2000, Num 152, pp 5-26, issn 0987-6936Article

Dealing with zero-time transitions in axiom systemsGARGANTINI, A; MANDRIOLI, D; MORZENTI, A et al.Information and computation (Print). 1999, Vol 150, Num 2, pp 119-131, issn 0890-5401Article

Analyse non-standard. ColloqueDIENER, M.Publications du Centre international de rencontres mathématiques. 1994, Num 7, pp 141-160, issn 1561-2082, 18 p.Conference Proceedings