RICERCA ITALIANA     

Programmi di ricerca simili:

• 1 - Teoria dei Modelli, Teoria degli Insiemi e Applicazioni
• 2 - Spazi di Moduli e Teoria di Lie
• 3 - Spazi di moduli e teorie di Lie
• 4 - Metodi geometrici nella teoria delle onde non lineari e applicazioni.
• 5 - Algebre di Operatori e Applicazioni
• 6 - Metodi Costruttivi in Topologia Algebra e Fondamenti dell'Informatica
• 7 - Metodi geometrici nella teoria delle onde non lineari ed applicazioni
• 8 - Analisi armonica
• 9 - ALGEBRA COMMUTATIVA COMBINATORIA E COMPUTAZIONALE
• 10 - Metodi variazionali nella teoria del trasporto ottimo di massa e nella teoria geometrica della misura

Classificazione scientifico-disciplinare

• Area scientifico disciplinare: Scienze matematiche e informatiche
  • LOGICA MATEMATICA
  • ALGEBRA
  • GEOMETRIA
  • ANALISI MATEMATICA

Classificazione brevettuale

• PHYSICS
  • COMPUTING; CALCULATING; COUNTING (score computers for games A63; combinations of writing applicances with computing devices B43K29/08)
    • COMPUTER SYSTEMS BASED ON SPECIFIC COMPUTATIONAL MODELS [N0004]
  • EDUCATION; CRYPTOGRAPHY; DISPLAY; ADVERTISING; SEALS
    • EDUCATIONAL OR DEMONSTRATION APPLIANCES; APPLIANCES FOR TEACHING, OR COMMUNICATING WITH, THE BLIND, DEAF OR MUTE; MODELS; PLANETARIA; GLOBES; MAPS; DIAGRAMS (devices for psychotechnics or for testing reaction times A61B5/16; games, sports, amusements A63; projectors, projector screens G03B)
  • MEASURING (counting G06M); TESTING
    • MEASURING LENGTH, THICKNESS OR SIMILAR LINEAR DIMENSIONS; MEASURING ANGLES; MEASURING AREAS; MEASURING IRREGULARITIES OF SURFACES OR CONTOURS (measuring human body, see the relevant places, where such exist, e.g. A41H1/00, A43D1/02, A61B5/103; measuring appliances combined with walking-sticks A45B3/08; sorting according to dimensions B07; tool-setting or drawing instruments not specially modified for measuring B23B49/00, B23Q15/00 to B23Q17/00, B43L; combinations of measuring devices with writing-appliances B43K29/08; geodetical, nautical or aeronautical measuring, surveying, rangefinding G01C; photogrammetry G01C11/00; measuring force or stress, in general G01L1/00; investigating or analysing particle size, investigating or analysing surface area of porous material G01N; measuring position, distance or direction, in general, by reception or emission of radiowaves or other waves and based on propagation effects, e.g. Doppler effect, propagation time, direction of propagation G01S; geophysical measuring G01V; measuring length or roll diameter of film in cameras or projectors G03B1/60; combinations of measuring devices with means for controlling or regulating G05; methods or arrangements for converting the position of a manually-operated writing or tracing member into an electrical signal G06K11/00; measuring elapsed travel of recording medium in recording and playback equipment, sensing diameter of record in autochange gramophones G11B; means structurally associated with electric rotary current collectors for indicating brush wear H01R39/58; indicating consumption of electrodes in arc lamps H05B31/34)

Classificazione geografica

• Regione: Marche

Bibliografia

(J,P,T)AMS=(Journal,Proc.,Trans.) Amer.Math.Soc., APAL=Ann.Pure Applied Logic, BSL=Bull.Symb.Logic, FM=Fund.Math., JA=J.Algebra, JLMS=J.London Math.Soc., JPAA=J.PureAppl.Algebra, JSL= J.Symb.Logic, TA = Topology Appl.

*=to appear, **=preprint

[A1]A.Andretta,I teoremi di assolutezza in teoria degli insiemi, Boll. Unione Mat. Ital. A-6 (2003) 57-84, 489-507
[A2]A.Andretta,Equivalence between Wadge and Lipschitz determinacy, APAL 123 (2003) 163-192
[ACH]A.Andretta-R.Camerlo-G.Hjorth,Conjugacy equivalence relation on subgroups, FM 167 (2001) 189-212
[AM1]A.Andretta-A.Marcone,Ordinary differential equations and descriptive set theory: uniqueness and globality of solutions of Cauchy problems in one dimension,FM 153 (1997) 157-190
[AM2]A.Andretta-A.Marcone,Definability in function spaces, Real Anal. Exchange 26 (2000/01) 285-308
[AM3]A.Andretta-A.Marcone,Pointwise convergence and the Wadge hierarchy, Comm.Math.Univ.Carolin. 42 (2001) 159-172
[AM4]A.Andretta-A.Marcone,Projective sets and ordinary differential equations, TAMS 353 (2001)41-76
[AMt] A.Andretta-D.A.Martin,Borel-Wadge degrees, FM 177 (2003)175-192
[BD1]V.Benci-M.Di Nasso, Numerosities of labelled sets: a new way of counting, Adv.Math. 173 (2003)50-67
[BD2]V.Benci-M.Di Nasso, Alpha-Theory: an elementary axiomatics for nonstandard analysis,Expo.Math. 21 (2003)355-386.
[BD3]V.Benci-M.Di Nasso, A purely algebraic characterization of the hyperreal numbers, PAMS*
[BDF]V.Benci-M.Di Nasso-M.Forti, Hausdorff nonstandard extensions, Bol.Soc.Parana..Mat.20 (2002)9-20
[Bk]H.Becker, Determinacy of Banach games, JSL 50 (1985) 110-122
[Bk1]H.Becker, Descriptive set-theoretic phenomena in analysis and topology, Set theory of the continuum, Springer, 1992
[BK] H.Becker-A.Kechris, The descriptive set theory of Polish group actions, Cambridge UP, 1996
[BO1] A.Berarducci-M.Otero,Intersection theory for o-minimal manifolds, APAL 107 (2001)87-119
[BO2] A.Berarducci-M.Otero,O-minimal fundamental group, homology and manifolds, JLMS 65 (2002)1-14
[BO3] A.Berarducci-M.Otero,Transfer Methods for o-minimal Topology, JSL 68 (2003) 785-794
[BO4] A.Berarducci-M.Otero,An additive measure in o-minimal expansions of fields, Quart.J.Math.*
[BS]A.Bartoszynski-S.Shelah, There may be no Hausdorff ultrafilters, **2003
[BSe]A.Berarducci-T.Servi, An effective version of Wilkie's theorem of the complement and some effective o-minimality results, APAL 125 (2004) 43-74
[Ca]R.Camerlo, The relation of recursive isomorphism for countable structures, JSL 67 (2002)879-895
[CDM]R.Camerlo-U.Darji-A.Marcone, Classification problems in continuum theory,**2002
[CG]R.Camerlo-S.Gao, The completeness of the isomorphism relation for countable Boolean algebras, TAMS 353 (2001) 491-518
[CK]R.Camerlo-A.Kechris, Countable structures with a fixed automorphism group of automorphism, Israel J.Math. 117 (2000) 105-124
[Cl] J.Colombeau, Elementary Introduction to Generalized Functions, North-Holland, 1985
[Cn]J. Conway, On Numbers and Games, Academic Press
[Co]C.Costantini, On the resolvability of locally connected spaces, PAMS*
[CoHV]C.Costantini-L.Holà-P.Vitolo, Tightness, character and related properties of hyperspace topologies, TA*
[DF1]M.Di Nasso-M.Forti, Topological and nonstandard extensions, Monatsh.f. Math.*
[DF2]M.Di Nasso-M.Forti, On the ordering of the nonstandard real line, in Logic and Algebra, Contemp.Math. 302, AMS 2002, 259-274
[DH]M.Di Nasso-K.Hrbacek, Combinatorial principles in nonstandard analysis, APAL*
[DiZ]M.Di Nasso-Y.Zhang, Nonstandard analysis and an application to the symmetric group on natural numbers, Contemp.Math. 302, AMS 2002,249-258
[DM]U.Darji-A.Marcone,Complexity of curves, **2003.
[F1]M.Forti,Strongly comprehensive theories of collections and sets, in A Tribute to Maurice Boffa, Bull.Belg.Math.Soc., 2001,121-132
[FHL]M.Forti-F.Honsell-M.Lenisa, Axiomatic characterizations of hyperuniverses and applications, Ann.N.Y.Acad. Sci. 806 (1996) 140-63
[GK]S.Gao-A.Kechris, On the classification of Polish metric spaces up to isometry, Mem. AMS 161 (2003)
[H]G.Hjorth, Actions by the classical Banach spaces, JSL 65 (2000) 392-420
[HP]I.Herzog-V.Puninskaya, The model theory of divisible modules over a domain, FM Appl. 2 (1996)563-594
[Hr]K.Hrbacek , Realism, nonstandard set theory, and large cardinals, APAL 109 (2001)15-48
[J]R.Jin, Applications of nonstandard analysis in additive number theory,BLS 6 (2000)331-341
[JL]C.Jensen-H.Lenzing, Model Theoretic Algebra, Gordon-Breach, 1989
[Kc]A.Kechris, New directions in descriptive set theory, BSL 5 (1999)161-174
[KL1]L.Klingler-L.Levy, Representation type of commutative noetherian rings I: Local wildness, Pacific J.Math. 200 (2001)345-386
[KL2]L.Klingler-L.Levy, Representation type of commutative noetherian rings II: Local tameness, Pacific J. Math. 200 (2001)387-483
[KV]K.Kunen-J.Vaughan(eds.), Handbook of set-theoretic topology, North-Holland, 1984
[Le1]L.Levy, Mixed modules over ZG, G cyclic of prime order, and over related Dedekind pullbacks, JA 71 (1981)62-114
[Le2]L.Levy, Modules over Dedekind-like rings, JA 93 (1985)1-116
[Li]P.Lipparini, Every $(lambda^+,kappa^+)$-regular ultrafilter is $(lambda,kappa)$-regular, PAMS 128 (2000)605-609
[LLT1]S.Leonesi-S.L'Innocente-C.Toffalori, Cinquanta anni di Teoria dei Modelli, Boll. Un. Mat. Ital.*
[LLT2]S.Leonesi-S.L'Innocente-C.Toffalori, Teoria dei Modelli, Cultura (e Società?), Boll. Un. Mat. Ital.*
[Lo]G.Lolli, Definability as a mathematical concept before and after Gödel, in U.Bottazzini-A.Dahan(eds.), Changing Images of Mathematics, Routledge, 2001, 207-221
[LPT1]S.L'Innocente-V.Puninskaya-C.Toffalori, Strongly minimal modules over group rings, **2003
[LPT2]S.L'Innocente-V.Puninskaya-C.Toffalori, Minimalities and modules over group rings, **2004
[LR1]A.Louveau –C.Rosendal, Relations d'équivalence analytiques complètes, C. R. Acad. Sci. Paris Sér. I Math. 333 (2001) 903-906
[LR2]A.Louveau-C.Rosendal, Complete analytic equivalence relations, **2002
[MPT1]A.Marcja-M.Prest-C.Toffalori, The stability classification for abelian-by-finite groups and modules over a group ring, JLMS (2) 47 (1993)212-226
[MPT2]A.Marcja-M.Prest-C.Toffalori, The torsionfree part of the Ziegler specturm of RG when R is a Dedekind domain and G is a finite group, JSL 67 (2002)1126-1140
[MR]A.Marcone-C.Rosendal, The complexity of continuous embeddability between dendrites, JSL*
[MT1]A.Marcja-C.Toffalori, Decidable representations, JPAA 103 (1995) 189-203
[MT2]A.Marcja-C.Toffalori, A Guide to Classical and Modern Model Theory, Kluwer, 2003
[Pi1]A.Pillay, On groups and rings definable in o-minimal structures, JPAA 53 (1988)239-255
[Pi2]A.Pillay, Type-definability, compact Lie groups, and o-minimality, **2003
[PPS]Y.Peterzil-A.Pillay-S.Starchenko, Definably simple groups in o-minimal structures, TAMS 352(2000) 4397-4419
[Pr]M.Prest, Model Theory and modules, Cambridge UP, Cambridge, 1988
[PrP1]M.Prest-G.Puninski, One-sided indecomposable pure injective modules over string algebras, **2002
[Pu]G.Puninski, Super-decomposable pure injective modules exist over some string algebras, PAMS*
[PuPT]G.Puninski-V.Puninskaya-C.Toffalori, Superdecomposable pure injective modules and integral group rings, **2004
[PuT]V.Puninskaya-C.Toffalori, Vaught Conjecture and group rings, **2003
[Th]S.Thomas, The classification problem for torsion-free abelian groups of finite rank, JAMS 16 (2003) 233-258
[To1]C.Toffalori, An undecidability theorem for lattices over groups rings, APAL 88(1997) 241-262
[To2]C.Toffalori, Wildnes implies undecidability for lattices over group rings, JSL 63 (1997) 1429-1447
[Tv]T.Todorov, An existence result for linear PDE in an algebra of generalized functions, TAMS 348 (1996) 673-89
[W]A. Wilkie, A theorem of the complement and some new o-minimal structures, Selecta Math. 5 (1999) 397-421
[Z]M.Ziegler, Model Theory of modules, APAL 26 (1984) 149-213

Parole Chiave

CLASSIFICAZIONE; DEFINIBILITÀ; DECIDIBILITÀ; O-MINIMALITÀ; METODI E MODELLI NON STANDARD; TEORIA DESCRITTIVA DEGLI INSIEMI; SPETTRO DI ZIEGLER