Found results 41 Full data Concise dataClick the title to see full data and shelfmark of each item |
Consultabilità delle tesi
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
MARCHIORI LUCA, HOMOLOGICAL ALGEBRA FOR LOCALLY COMPACT AND PRO-LIE POLISH GROUPS,
Rel. LUPINI MARTINO,
AA 2023/2024
Author:
MARCHIORI LUCA
Title: HOMOLOGICAL ALGEBRA FOR LOCALLY COMPACT AND PRO-LIE POLISH GROUPS Relatore: LUPINI MARTINO Correlatore: BARATELLA STEFANO Academic year: 2023/2024 Course: Corso di Laurea Magistrale - MATEMATICA [0519H] Struttura didattica: Interfacoltà Rovereto Formato: digitale Shelfmark: 0519H-704 Richiedi la consultazione |
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 |
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 |
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 |
PANTALEONI DAVIDE, AN OVERVIEW OF O-MINIMALITY ,
Rel. BARATELLA STEFANO,
AA 2022/2023
Author:
PANTALEONI DAVIDE
Title: AN OVERVIEW OF O-MINIMALITY Relatore: BARATELLA STEFANO Academic year: 2022/2023 Course: Corso di Laurea Magistrale - MATEMATICA [0519H] Struttura didattica: Dipartimento di Matematica Formato: digitale Shelfmark: 0519H-666 Richiedi la consultazione |
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 |
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 |
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 |
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 |
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 |
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 |
TURCO ALICE, THEORY AND APPLICATIONS OF A. ROBINSON'S NONSTANDARD METHODS,
Rel. BARATELLA STEFANO,
AA 2023/2024
Author:
TURCO ALICE
Title: THEORY AND APPLICATIONS OF A. ROBINSON'S NONSTANDARD METHODS Relatore: BARATELLA STEFANO Academic year: 2023/2024 Course: Corso di Laurea Magistrale - MATEMATICA [0519H] Struttura didattica: Interfacoltà Rovereto Formato: digitale Shelfmark: 0519H-691 Richiedi la consultazione |
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 |
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 |
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 |