- ALPHA-THEORY: AN ELEMENTARY AXIOMATICS FOR NONSTANDARD ANALYSIS
- ELEMENTI DI LOGICA MATEMATICA MAURO DI NASSO
- ON THE ORDERING OF THE NONSTANDARD REAL LINE MAURO DI NASSO AND MARCO FORTI
- ELEMENTI DI LOGICA MATEMATICA MAURO DI NASSO
- Elementi di Logica Matematica Prova scritta del 3 Giugno 2008
- Proposizione 0.0.1. Sia ^f : N N f(U) = U = {n|f(n) = n} U Dimostrazione. Iniziamo definendo la seguente relazione di equivalenza
- NOTA SULLE COLORAZIONI MAURIZIO MONGE
- Informatica Matematica Discreta A.A. 2009/10 -Seconda verifica intermedia, 17 Dicembre 2009
- Elementi di Logica Matematica Prova scritta del 2 Marzo 2007
- ELEMENTI DI LOGICA MATEMATICA MAURO DI NASSO
- Teorema di Ls Per enunciare il teorema di Ls occorre definire due costruzioni, il prodotto
- On the Foundations of Nonstandard Mathematics
- Elementi di Logica Matematica Primo Appello -Prova scritta del 11 Giugno 2009
- NONSTANDARD ANALYSIS AND AN APPLICATION TO THE SYMMETRIC GROUP ON NATURAL NUMBERS
- Note riguardo il Teorema di Van Der Waerden Alessandra Caraceni
- TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY
- ELEMENTI DI LOGICA MATEMATICA LEZIONE VIII
- LOGICA MATEMATICA I Introduzione
- Elementi di Logica Matematica Prova scritta del 21 Dicembre 2005
- Elementi di Logica Matematica Prova scritta del 13 Giugno 2006
- Elementi di Logica Matematica Prova scritta del 17 Luglio 2006
- Il principio di compattezza combinatorio Dario Trevisan
- An Euclidean Measure of Size for Mathematical Universes
- in matematica, fisica e filosofia V e n e r d i 2 6 M a r z o 2 0 0 4
- Linearly Stratified Models for the Foundations of Nonstandard Mathematics
- Nonstandard Analysis by Means of Ideal Values of Sequences
- A PURELY ALGEBRAIC CHARACTERIZATION OF THE HYPERREAL NUMBERS
- Elementi di Logica Matematica Prova scritta del 18 Ottobre 2006
- DIMOSTRAZIONE TOPOLOGICA DEL PRINCIPIO DI COMPATTEZZA COMBINATORIO
- Esercizi su aperti, chiusi e intorni in N Martino Lupini
- Topological and Nonstandard Extensions Mauro Di Nasso
- Elementi di Logica Matematica Prova scritta del 13 Giugno 2006
- I NUMERI INFINITESIMI E L'ANALISI NONSTANDARD MAURO DI NASSO
- ELEMENTI DI LOGICA MATEMATICA MAURO DI NASSO
- Dense subfields and integer parts Franz-Viktor Kuhlmann
- Logica Matematica 1 (Uso di ultrafiltri e metodi nonstandard in
- Elementi di Logica Matematica Primo Appello -Prova scritta del 11 Giugno 2009
- Elementi di Logica Matematica Prova scritta del 24 Giugno 2008
- COMBINATORIAL PRINCIPLES IN NONSTANDARD ANALYSIS MAURO DI NASSO AND KAREL HRBACEK
- Elementi di Logica Matematica Sesto Appello Straordinario -Prova scritta del 8 Aprile 2010
- FINE ASYMPTOTIC DENSITIES FOR SETS OF NATURAL NUMBERS
- An Aristotelian notion of size Vieri Benci, Marco Forti
- Hausdorff Ultrafilters Mauro Di Nasso
- ULTRAFILTER SEMIRINGS AND NONSTANDARD SUBMODELS OF
- NUMEROSITIES OF LABELLED SETS: A NEW WAY OF COUNTING
- A RING HOMOMORPHISM IS ENOUGH TO GET NONSTANDARD ANALYSIS
- An Axiomatic Presentation of the Nonstandard Methods in Mathematics
- Informatica Matematica Discreta A.A. 2009/10 Secondo Appello 14 luglio 2010
- Informatica Matematica Discreta A.A. 2009/10 -Prima verifica intermedia, 3 Novembre 2009
- Appunti provvisori del corso di Matematica Alessandro Berarducci e Giovanni Gaiffi 10 Dic. 2008.
- lq,rn'nnor* ri,;'i.^.1,i
- LOGICA MATEMATICA I 4. Lo spazio degli ultrafiltri N
- LOGICA MATEMATICA I 5. Idempotenti in N e Teorema di Hindman
- PASSAGGIO DALLA VERSIONE INFINITA DEL TEOREMA DI SCHUR A QUELLA FINITA
- N non `e metrizzabile Dario Trevisan
- Esercizio** 1.1. Il Centro di N munito dell'operazione `e N. Dimostrazione. Mostriamo le due inclusioni. Che N `e incluso nel centro di
- Densit`a di Banach, insiemi spessi, sindetici, e sindetici a tratti.
- ELEMENTI DI LOGICA MATEMATICA MAURO DI NASSO
- ELEMENTI DI LOGICA MATEMATICA MAURO DI NASSO
- ELEMENTI DI LOGICA MATEMATICA MAURO DI NASSO
- ELEMENTI DI LOGICA MATEMATICA LEZIONE VII
- ELEMENTI DI LOGICA MATEMATICA MAURO DI NASSO
- Models of Arithmetic and Analysis MARIAN 2004, Pisa, June 25-26, 2004
- Elementi di Logica Matematica Terzo Test del 27 Maggio 2005
- Elementi di Logica Matematica Terzo Test del 27 Maggio 2005
- Elementi di Logica Matematica Prova scritta di 19 Settembre 2008
- Elementi di Logica Matematica Prova scritta del 16 Aprile 2009
- Elementi di Logica Matematica Quinto Appello -Prova scritta del 17 Febbraio 2010
- Informatica Matematica Discreta A.A. 2009/10 -Prima verifica intermedia, 3 Novembre 2009
- The Congress will be held at the Department of Mathematics of the University of Pisa.
- Elementi di Logica Matematica Prova scritta di 16 Luglio 2008
- Prima prova in itinere del 3.11.2009 Seconda prova in itinere del 17.12.2009 Funzioni Induzione Insiemi TOTALE
- Elementi di Logica Matematica Prova scritta del 8 Settembre 2006
- Hyperordinals and Nonstandard -Models Mauro Di Nasso
- Elementi di Logica Matematica Secondo Test del 3 Maggio 2005
- Pseudo-superstructures as Nonstandard Universes
- ELEMENTI DI LOGICA MATEMATICA LEZIONE III
- Elementi di Logica Matematica Secondo Test del 3 Maggio 2005
- *ZFC: an Axiomatic *Approach to Nonstandard Methods *ZFC: un approche axiomatique aux methodes nonstandard
- The Generic Filter Property in Nonstandard Analysis
- Hausdorff Nonstandard Extensions Vieri Benci, Marco Forti
- ELEMENTI DI TEORIA DEGLI INSIEMI MAURO DI NASSO
- THE EIGHTFOLD PATH TO NONSTANDARD ANALYSIS
- Elementi di Logica Matematica Primo Appello -Prova scritta dell'8 Luglio 2009
- Elementi di Logica Matematica Terzo Appello -Prova scritta del 17 Settembre 2009
- INVITED SPEAKERS S. Albeverio (Bonn, Germany)
- Elementi di Logica Matematica Terzo Appello -Prova scritta del 17 Settembre 2009
- Appunti del corso `Logica Matematica 1' Martino Lupini
- Corso "Matematica Discreta" A-B Anno accademico 2009-2010
- Fully saturated extensions of standard universe Vladimir Kanovei, Michael Reeken, Saharon Shelah
- ULTRAFILTRI E METODI NONSTANDARD IN TEORIA COMBINATORIA DEI NUMERI
- Esercizio sui p-point Luigi Ferraro
- Ultrafiltri di Ramsey Luigi Ferraro
- ULTRAFILTRI E METODI NONSTANDARD IN TEORIA COMBINATORIA DEI NUMERI
- ULTRAFILTRI E METODI NONSTANDARD IN TEORIA COMBINATORIA DEI NUMERI
- Esistenza di p-points assumendo l'ipotesi del continuo Luigi Ferraro
- Tre pezzi facili Jack D'Aurizio
- Una dimostrazione elementare del teorema di Denis Nardin
- Esercizio sugli ultrafiltri di Ramsey Luigi Ferraro
- Dimostrazione topologica del principio di compattezza Teorema 1 (Principio di compattezza). Sia X un insieme e A = {A} una
- N non `e metrizzabile Teorema 1. N non `e metrizzabile.
- Dimostrazione del teorema di Tychonoff Luigi Ferraro
- Esistenza di ultrafiltri selettivi assumendo l'ipotesi del Luigi Ferraro
- Esercizio sui p-point Luigi Ferraro
- Luigi Ferraro Esercizio 1. Se U `e un ultrafiltro non principale, allora esiste V ultrafiltro (non
- ULTRAFILTRI E METODI NONSTANDARD IN TEORIA COMBINATORIA DEI NUMERI
