Results

Found results 38

Full data Concise data

Click the title to see full data and shelfmark of each item

Consultabilità delle tesi

Consultabile Consultabile
Non consultabile Non consultabile

Tesi presenti nel catalogo

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

New search