Risultati

Risultati trovati 38

Dati completi Dati sintetici

Clicca sul titolo per vedere i dati completi di ogni documento e la segnatura con la quale richiederlo.

Consultabilità delle tesi

Consultabile Consultabile
Non consultabile Non consultabile

Modalità di consultazione e contatti

Consultabile BALLARINI FILIPPO, ESTENSIONE AD MV-ALGEBRE DI RISULTATI PER ALGEBRE DI BOOLE, Rel. BARATELLA STEFANO, AA 2003/2004
Autore: BALLARINI FILIPPO
Titolo: ESTENSIONE AD MV-ALGEBRE DI RISULTATI PER ALGEBRE DI BOOLE
Relatore: BARATELLA STEFANO
Controrelatore: LUMINATI DOMENICO
Anno accademico: 2003/2004
Corso: Corso di Laurea - Matematica (triennale) [0508C]
Struttura didattica: Facoltà di Scienze
Formato: cartaceo
Segnatura: QD50
Richiedi la consultazione
Non consultabile BASIOLI MATTEO, FORCING AND INDEPENDENCE PROOFS, Rel. BARATELLA STEFANO, AA 2017/2018
Autore: BASIOLI MATTEO
Titolo: FORCING AND INDEPENDENCE PROOFS
Relatore: BARATELLA STEFANO
Anno accademico: 2017/2018
Corso: Corso di Laurea Magistrale - MATEMATICA [0519H]
Struttura didattica: Dipartimento di Matematica
Formato: digitale
Segnatura: 0519H-301
Non consultabile BEBBER SILVANA, LA FUNZIONE CONTINUO IN ASSENZA DI IPOTESI GENERALIZZATA DEL CONTINUO, Rel. BARATELLA STEFANO, AA 2001/2002
Autore: BEBBER SILVANA
Titolo: LA FUNZIONE CONTINUO IN ASSENZA DI IPOTESI GENERALIZZATA DEL CONTINUO
Relatore: BARATELLA STEFANO
Anno accademico: 2001/2002
Corso: Corso di Laurea - Matematica [0503B]
Struttura didattica: Facoltà di Scienze
Formato: cartaceo
Segnatura: MA437
Consultabile BERTONI NOEMI, MODELLI CON MOLTI AUTOMORFISMI., Rel. BARATELLA STEFANO, AA 2009/2010
Autore: BERTONI NOEMI
Titolo: MODELLI CON MOLTI AUTOMORFISMI.
Relatore: BARATELLA STEFANO
Controrelatore: DE GRAAF WILLEM ADRIAAN
Anno accademico: 2009/2010
Corso: Corso di Laurea - Matematica (triennale) [0508C]
Struttura didattica: Facoltà di Scienze
Formato: digitale
Segnatura: QD189
Richiedi la consultazione
Consultabile BERTONI NOEMI, ULTRAFILTERS AND THEIR APPLICATIONS, Rel. BARATELLA STEFANO, AA 2011/2012
Autore: BERTONI NOEMI
Titolo: ULTRAFILTERS AND THEIR APPLICATIONS
Relatore: BARATELLA STEFANO
Controrelatore: FONTANARI CLAUDIO
Anno accademico: 2011/2012
Corso: Corso di Laurea Magistrale - MATEMATICA [0519H]
Struttura didattica: Facoltà di Scienze
Formato: digitale
Segnatura: 0519H-17
Richiedi la consultazione
Consultabile BONAZZA ANGELA, IL PRIMO TEOREMA DI INCOMPLETEZZA DI GÖDEL., Rel. BARATELLA STEFANO, AA 2005/2006
Autore: BONAZZA ANGELA
Titolo: IL PRIMO TEOREMA DI INCOMPLETEZZA DI GÖDEL.
Relatore: BARATELLA STEFANO
Controrelatore: LUMINATI DOMENICO
Anno accademico: 2005/2006
Corso: Corso di Laurea - Matematica (triennale) [0508C]
Struttura didattica: Facoltà di Scienze
Formato: cartaceo
Segnatura: QD93
Richiedi la consultazione
Consultabile BONAZZA ANGELA, FORCING E MODELLI A VALUTAZIONE BOOLEANA - RISULTATI DI INDIPENDENZA IN TEORIA DEGLI INSIEME, Rel. BARATELLA STEFANO, AA 2007/2008
Autore: BONAZZA ANGELA
Titolo: FORCING E MODELLI A VALUTAZIONE BOOLEANA - RISULTATI DI INDIPENDENZA IN TEORIA DEGLI INSIEME
Relatore: BARATELLA STEFANO
Controrelatore: LUMINATI DOMENICO
Anno accademico: 2007/2008
Corso: Corso di Laurea Specialistica - Matematica [0511D]
Struttura didattica: Facoltà di Scienze
Formato: digitale
Segnatura: QO51
Richiedi la consultazione
Non definita BORDIN ROBERTO, TECNICHE NONSTANDARD IN ANALISI STOCASTICA, Rel. BARATELLA STEFANO, AA 1997/1998
Autore: BORDIN ROBERTO
Titolo: TECNICHE NONSTANDARD IN ANALISI STOCASTICA
Relatore: BARATELLA STEFANO
Anno accademico: 1997/1998
Corso: Corso di Laurea - Matematica [0503B]
Struttura didattica: Facoltà di Scienze
Formato: cartaceo
Segnatura: MA302
Consultabile CHINI FRANCESCO, IPERREALI E UNIVERSI NON STANDARD, Rel. BARATELLA STEFANO, AA 2011/2012
Autore: CHINI FRANCESCO
Titolo: IPERREALI E UNIVERSI NON STANDARD
Relatore: BARATELLA STEFANO
Controrelatore: BAGAGIOLO FABIO
Anno accademico: 2011/2012
Corso: Corso di Laurea - Matematica [0515G]
Struttura didattica: Dipartimento di Matematica
Formato: digitale
Segnatura: 0515G-68
Richiedi la consultazione
Consultabile COLACITO ALMUDENA, AUTOMORFISMI DEL CAMPO COMPLESSO., Rel. BARATELLA STEFANO, AA 2013/2014
Autore: COLACITO ALMUDENA
Titolo: AUTOMORFISMI DEL CAMPO COMPLESSO.
Relatore: BARATELLA STEFANO
Anno accademico: 2013/2014
Corso: Corso di Laurea - Matematica [0515G]
Struttura didattica: Dipartimento di Matematica
Formato: digitale
Segnatura: 0515G-144
Richiedi la consultazione
Consultabile COMAI LAURA, CONSIDERAZIONI E SPUNTI DIDATTICI INTORNO AD ALCUNI ARGOMENTI RILEVANTI NEI PROGRAMMI DI MATEMATICA PER LA SCUOLA SUPERIORE, Rel. DELLADIO SILVANO, AA 2003/2004
Autore: COMAI LAURA
Titolo: CONSIDERAZIONI E SPUNTI DIDATTICI INTORNO AD ALCUNI ARGOMENTI RILEVANTI NEI PROGRAMMI DI MATEMATICA PER LA SCUOLA SUPERIORE
Relatore: DELLADIO SILVANO
Controrelatore: BARATELLA STEFANO
Anno accademico: 2003/2004
Corso: Corso di Laurea Specialistica - Matematica [0511D]
Struttura didattica: Facoltà di Scienze
Formato: cartaceo
Segnatura: QO5
Richiedi la consultazione
Consultabile CRISTINI MARIAPAOLA, EQUIVALENTI DELL'ASSIOMA DI SCELTA, Rel. BARATELLA STEFANO, AA 2011/2012
Autore: CRISTINI MARIAPAOLA
Titolo: EQUIVALENTI DELL'ASSIOMA DI SCELTA
Relatore: BARATELLA STEFANO
Controrelatore: MATTAREI SANDRO
Anno accademico: 2011/2012
Corso: Corso di Laurea - Matematica [0515G]
Struttura didattica: Dipartimento di Matematica
Formato: digitale
Segnatura: 0515G-50
Richiedi la consultazione
Consultabile DALCOLMO ALESSANDRA, INVILUPPI NONSTANDARD DI SPAZI DI BANACH, Rel. BARATELLA STEFANO, AA 1996/1997
Autore: DALCOLMO ALESSANDRA
Titolo: INVILUPPI NONSTANDARD DI SPAZI DI BANACH
Relatore: BARATELLA STEFANO
Anno accademico: 1996/1997
Corso: Corso di Laurea - Matematica [0503B]
Struttura didattica: Facoltà di Scienze
Formato: cartaceo
Segnatura: MA291
Richiedi la consultazione
Consultabile DALLA VALLE ANDREA, MORLEY'S CATEGORICITY THEOREM, Rel. BARATELLA STEFANO, AA 2016/2017
Autore: DALLA VALLE ANDREA
Titolo: MORLEY'S CATEGORICITY THEOREM
Relatore: BARATELLA STEFANO
Anno accademico: 2016/2017
Corso: Corso di Laurea Magistrale - MATEMATICA [0519H]
Struttura didattica: Dipartimento di Matematica
Formato: digitale
Segnatura: 0519H-253
Richiedi la consultazione
Consultabile DE NISI MARIO, TEORIE DEI MODELLI PER STRUTTURE METRICHE, Rel. BARATELLA STEFANO, AA 2010/2011
Autore: DE NISI MARIO
Titolo: TEORIE DEI MODELLI PER STRUTTURE METRICHE
Relatore: BARATELLA STEFANO
Controrelatore: SERAPIONI RAUL PAOLO
Anno accademico: 2010/2011
Corso: Corso di Laurea Specialistica - Matematica [0511D]
Struttura didattica: Facoltà di Scienze
Formato: digitale
Segnatura: 0511D-98
Richiedi la consultazione
Consultabile DI BONITO JACOPO, ALCUNE CONSEGUENZE DI AC IN AMBITO ALGEBRICO E GEOMETRICO, Rel. BARATELLA STEFANO, AA 2013/2014
Autore: DI BONITO JACOPO
Titolo: ALCUNE CONSEGUENZE DI AC IN AMBITO ALGEBRICO E GEOMETRICO
Relatore: BARATELLA STEFANO
Anno accademico: 2013/2014
Corso: Corso di Laurea - Matematica [0515G]
Struttura didattica: Dipartimento di Matematica
Formato: digitale
Segnatura: 0515G-149
Richiedi la consultazione
Consultabile DI BONITO JACOPO, THE USE OF BOOLEAN-VALUED MODELS IN INDEPENDENCE PROOFS, Rel. BARATELLA STEFANO, AA 2016/2017
Autore: DI BONITO JACOPO
Titolo: THE USE OF BOOLEAN-VALUED MODELS IN INDEPENDENCE PROOFS
Relatore: BARATELLA STEFANO
Anno accademico: 2016/2017
Corso: Corso di Laurea Magistrale - MATEMATICA [0519H]
Struttura didattica: Dipartimento di Matematica
Formato: digitale
Segnatura: 0519H-262
Richiedi la consultazione
Consultabile FLORETTA GIULIA, IL TEOREMA DEI QUATTRO QUADRATI, Rel. DE GRAAF WILLEM ADRIAAN, AA 2010/2011
Autore: FLORETTA GIULIA
Titolo: IL TEOREMA DEI QUATTRO QUADRATI
Relatore: DE GRAAF WILLEM ADRIAAN
Controrelatore: BARATELLA STEFANO
Anno accademico: 2010/2011
Corso: Corso di Laurea - Matematica [0515G]
Struttura didattica: Facoltà di Scienze
Formato: digitale
Segnatura: 0515G-13
Richiedi la consultazione
Consultabile FLORETTA GIULIA, FORCING VIA BOOLEAN VALUED MODELS: THE INDIPENDENCE OF CH, Rel. BARATELLA STEFANO, AA 2012/2013
Autore: FLORETTA GIULIA
Titolo: FORCING VIA BOOLEAN VALUED MODELS: THE INDIPENDENCE OF CH
Relatore: BARATELLA STEFANO
Controrelatore: BALLICO EDOARDO
Anno accademico: 2012/2013
Corso: Corso di Laurea Magistrale - MATEMATICA [0519H]
Struttura didattica: Dipartimento di Matematica
Formato: digitale
Segnatura: 0519H-69
Richiedi la consultazione
Consultabile FRANCESCHINI SILVIA, ULTRAPRODOTTI ED APPLICAZIONI ALLA TEORIA DEI MODELLI., Rel. BARATELLA STEFANO, AA 2007/2008
Autore: FRANCESCHINI SILVIA
Titolo: ULTRAPRODOTTI ED APPLICAZIONI ALLA TEORIA DEI MODELLI.
Relatore: BARATELLA STEFANO
Controrelatore: VIGNA SURIA GIUSEPPE
Anno accademico: 2007/2008
Corso: Corso di Laurea - Matematica (triennale) [0508C]
Struttura didattica: Facoltà di Scienze
Formato: digitale
Segnatura: QD134
Richiedi la consultazione
Consultabile FRANCESCHINI LUCA, SUL PROBLEMA DELLA MISURA E SULLE DECOMPOSIZIONI PARADOSSALI NEGLI SPAZI EUCLIDEI, Rel. BARATELLA STEFANO, AA 2011/2012
Autore: FRANCESCHINI LUCA
Titolo: SUL PROBLEMA DELLA MISURA E SULLE DECOMPOSIZIONI PARADOSSALI NEGLI SPAZI EUCLIDEI
Relatore: BARATELLA STEFANO
Controrelatore: GRECO GABRIELE
Anno accademico: 2011/2012
Corso: Corso di Laurea - Matematica [0515G]
Struttura didattica: Facoltà di Scienze
Formato: digitale
Segnatura: 0515G-39
Richiedi la consultazione
Consultabile GADOTTI ANDREA, P VS NP, Rel. BARATELLA STEFANO, AA 2012/2013
Autore: GADOTTI ANDREA
Titolo: P VS NP
Relatore: BARATELLA STEFANO
Anno accademico: 2012/2013
Corso: Corso di Laurea - Matematica [0515G]
Struttura didattica: Dipartimento di Matematica
Formato: digitale
Segnatura: 0515G-90
Richiedi la consultazione
Consultabile GARBARI TULLIO, TEORIE DEDUCIBILI E TEORIE INDEDUCIBILI., Rel. BARATELLA STEFANO, AA 2009/2010
Autore: GARBARI TULLIO
Titolo: TEORIE DEDUCIBILI E TEORIE INDEDUCIBILI.
Relatore: BARATELLA STEFANO
Controrelatore: DE GRAAF WILLEM ADRIAAN
Anno accademico: 2009/2010
Corso: Corso di Laurea - Matematica (triennale) [0508C]
Struttura didattica: Facoltà di Scienze
Formato: digitale
Segnatura: QD207
Richiedi la consultazione
Non consultabile GASTALDELLO MATTIA, IL TEOREMA DI COMPLETEZZA PER LA LOGICA A MOLTI VALORI DI LUKASIEWICZ., Rel. BARATELLA STEFANO, AA 2009/2010
Autore: GASTALDELLO MATTIA
Titolo: IL TEOREMA DI COMPLETEZZA PER LA LOGICA A MOLTI VALORI DI LUKASIEWICZ.
Relatore: BARATELLA STEFANO
Controrelatore: LUMINATI DOMENICO
Anno accademico: 2009/2010
Corso: Corso di Laurea - Matematica (triennale) [0508C]
Struttura didattica: Facoltà di Scienze
Formato: digitale
Segnatura: QD203
Consultabile GRINZATO SILVIA, ULTRAPRODOTTI E TEORIA DEI CAMPI, Rel. BARATELLA STEFANO, AA 2002/2003
Autore: GRINZATO SILVIA
Titolo: ULTRAPRODOTTI E TEORIA DEI CAMPI
Relatore: BARATELLA STEFANO
Anno accademico: 2002/2003
Corso: Corso di Laurea - Matematica [0503B]
Struttura didattica: Facoltà di Scienze
Formato: cartaceo
Segnatura: MA450
Richiedi la consultazione
Consultabile MANTOVANI ENRICA, ASSIOMA DI SCELTA ED ASSIOMA DI DETERMINATEZZA A CONFRONTO, Rel. BARATELLA STEFANO, AA 2003/2004
Autore: MANTOVANI ENRICA
Titolo: ASSIOMA DI SCELTA ED ASSIOMA DI DETERMINATEZZA A CONFRONTO
Relatore: BARATELLA STEFANO
Controrelatore: VIGNA SURIA GIUSEPPE
Anno accademico: 2003/2004
Corso: Corso di Laurea - Matematica (triennale) [0508C]
Struttura didattica: Facoltà di Scienze
Formato: cartaceo
Segnatura: QD51
Richiedi la consultazione
Consultabile MASINI FEDERICO, GEOMETRIA SFERICA: UN APPROCCIO ASSIOMATICO DI TIPO RELAZIONALE., Rel. LUMINATI DOMENICO, AA 2009/2010
Autore: MASINI FEDERICO
Titolo: GEOMETRIA SFERICA: UN APPROCCIO ASSIOMATICO DI TIPO RELAZIONALE.
Relatore: LUMINATI DOMENICO
Controrelatore: BARATELLA STEFANO
Anno accademico: 2009/2010
Corso: Corso di Laurea - Matematica (triennale) [0508C]
Struttura didattica: Facoltà di Scienze
Formato: digitale
Segnatura: QD208
Richiedi la consultazione
Consultabile MUSONI LUCIA, SULLE ALGEBRE DI KAC-MOODY E8, E9 E E10, Rel. DE GRAAF WILLEM ADRIAAN, AA 2010/2011
Autore: MUSONI LUCIA
Titolo: SULLE ALGEBRE DI KAC-MOODY E8, E9 E E10
Relatore: DE GRAAF WILLEM ADRIAAN
Controrelatore: BARATELLA STEFANO
Anno accademico: 2010/2011
Corso: Corso di Laurea Specialistica - Matematica [0511D]
Struttura didattica: Facoltà di Scienze
Formato: digitale
Segnatura: 0511D-99
Richiedi la consultazione
Consultabile NOAL PAOLO, COMPLETEZZA IN CAMPI ORDINATI, Rel. BARATELLA STEFANO, AA 2013/2014
Autore: NOAL PAOLO
Titolo: COMPLETEZZA IN CAMPI ORDINATI
Relatore: BARATELLA STEFANO
Anno accademico: 2013/2014
Corso: Corso di Laurea - Matematica [0515G]
Struttura didattica: Dipartimento di Matematica
Formato: digitale
Segnatura: 0515G-154
Richiedi la consultazione
Consultabile PARISI ELISA, TARSKI'S QUANTIFIER ELIMINATION FOR REAL CLOSED ORDERED FIELDS., Rel. BARATELLA STEFANO, AA 2010/2011
Autore: PARISI ELISA
Titolo: TARSKI'S QUANTIFIER ELIMINATION FOR REAL CLOSED ORDERED FIELDS.
Relatore: BARATELLA STEFANO
Controrelatore: GHILONI RICCARDO
Anno accademico: 2010/2011
Corso: Corso di Laurea Magistrale - MATEMATICA [0519H]
Struttura didattica: Facoltà di Scienze
Formato: digitale
Segnatura: 0519H-12
Richiedi la consultazione
Consultabile PINALI CLAUDIA, PRODOTTI GENERALIZZATI DI STRUTTURE E PROBLEMI DI DECIDIBILITÀ, Rel. BARATELLA STEFANO, AA 1995/1996
Autore: PINALI CLAUDIA
Titolo: PRODOTTI GENERALIZZATI DI STRUTTURE E PROBLEMI DI DECIDIBILITÀ
Relatore: BARATELLA STEFANO
Anno accademico: 1995/1996
Corso: Corso di Laurea - Matematica [0503B]
Struttura didattica: Facoltà di Scienze
Formato: cartaceo
Segnatura: MA250
Richiedi la consultazione
Consultabile PIROVANO FRANCESCO, COMPLETEZZA PER UN SISTEMA DI LOGICA MODALE, Rel. BARATELLA STEFANO, AA 2010/2011
Autore: PIROVANO FRANCESCO
Titolo: COMPLETEZZA PER UN SISTEMA DI LOGICA MODALE
Relatore: BARATELLA STEFANO
Controrelatore: MATTAREI SANDRO
Anno accademico: 2010/2011
Corso: Corso di Laurea - Matematica [0515G]
Struttura didattica: Facoltà di Scienze
Formato: digitale
Segnatura: 0515G-10
Richiedi la consultazione
Consultabile SALVATERRA MARTA, COSTO COMPUTAZIONALE DELL'ALGORITMO DI EUCLIDE, Rel. MATTAREI SANDRO, AA 2011/2012
Autore: SALVATERRA MARTA
Titolo: COSTO COMPUTAZIONALE DELL'ALGORITMO DI EUCLIDE
Relatore: MATTAREI SANDRO
Controrelatore: BARATELLA STEFANO
Anno accademico: 2011/2012
Corso: Corso di Laurea - Matematica [0515G]
Struttura didattica: Dipartimento di Matematica
Formato: digitale
Segnatura: 0515G-54
Richiedi la consultazione
Non definita SCHIVALOCCHI MASSIMO, LAMBDA SYM : UN'ANALISI DELLA NON CONFLUENZA DELLA LOGICA CLASSICA, Rel. BARATELLA STEFANO, AA 1994/1995
Autore: SCHIVALOCCHI MASSIMO
Titolo: LAMBDA SYM : UN'ANALISI DELLA NON CONFLUENZA DELLA LOGICA CLASSICA
Relatore: BARATELLA STEFANO
Anno accademico: 1994/1995
Corso: Corso di Laurea - Matematica [0503B]
Struttura didattica: Facoltà di Scienze
Formato: cartaceo
Segnatura: MA241
Consultabile TOFFOLI ALBERTO, NONSTANDARD ANALYSIS IN PROBABILITY AND STOCHASTICS, Rel. BARATELLA STEFANO, AA 2016/2017
Autore: TOFFOLI ALBERTO
Titolo: NONSTANDARD ANALYSIS IN PROBABILITY AND STOCHASTICS
Relatore: BARATELLA STEFANO
Anno accademico: 2016/2017
Corso: Corso di Laurea Magistrale - MATEMATICA [0519H]
Struttura didattica: Dipartimento di Matematica
Formato: digitale
Segnatura: 0519H-283
Richiedi la consultazione
Consultabile VERGURA MARCO, FASCI E STRUTTURE ALGEBRICHE IN UNA CATEGORIA, Rel. BARATELLA STEFANO, AA 2012/2013
Autore: VERGURA MARCO
Titolo: FASCI E STRUTTURE ALGEBRICHE IN UNA CATEGORIA
Relatore: BARATELLA STEFANO
Controrelatore: ANDREATTA MARCO
Anno accademico: 2012/2013
Corso: Corso di Laurea - Matematica [0515G]
Struttura didattica: Dipartimento di Matematica
Formato: digitale
Segnatura: 0515G-79
Richiedi la consultazione
Consultabile VOLPI ANDREA, MODEL THEORY OF PSEUDO-FINITE STRUCTURES, Rel. BARATELLA STEFANO, AA 2019/2020
Autore: VOLPI ANDREA
Titolo: MODEL THEORY OF PSEUDO-FINITE STRUCTURES
Relatore: BARATELLA STEFANO
Anno accademico: 2019/2020
Corso: Corso di Laurea Magistrale - MATEMATICA [0519H]
Struttura didattica: Dipartimento di Matematica
Formato: digitale
Segnatura: 0519H-486
Richiedi la consultazione
Non definita ZAMPINI SIRO, TECNICHE PER DIMOSTRAZIONI DI INDIPENDENZA IN TEORIA DEGLI INSIEMI, Rel. BARATELLA STEFANO, AA 2000/2001
Autore: ZAMPINI SIRO
Titolo: TECNICHE PER DIMOSTRAZIONI DI INDIPENDENZA IN TEORIA DEGLI INSIEMI
Relatore: BARATELLA STEFANO
Anno accademico: 2000/2001
Corso: Corso di Laurea - Matematica [0503B]
Struttura didattica: Facoltà di Scienze
Formato: cartaceo
Segnatura: MA422

Nuova ricerca