Found results 40 Full data Concise dataClick the title to see full data and shelfmark of each item |
Consultabilità delle tesi
|
![]()
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 |
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 |
![]()
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 |
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 |
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 |
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 |
![]()
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 |
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 |
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 |
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 |
![]()
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 |
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 |
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 |
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 |
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 |
![]()
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 |
![]()
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 |
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 |
![]()
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 |
![]()
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 |
![]()
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 |
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 |
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 |
![]()
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 |
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 |
![]()
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 |
![]()
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 |
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 |
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 |
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 |
![]()
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 |
![]()
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 |
![]()
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 |
![]()
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 |
![]()
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 |
![]()
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 |
![]()
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 |
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 |
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 |
![]()
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 |