IST is more than an algorithm to prove ZFC theorems

It is consistent with ZFC that B_1-groups are not B_2-groups

Italian participation in the Mars exploration program

Italian Spring Accelerometer (ISA): A fundamental support to BepiColombo Radio Science Experiments

Iterated Class Forcing

Iterating the recursively Mahlo operations

Iteration of lambda-complete forcing notions not collapsing lambda^+

Iterations of V and the core model

Iterative differential Galois theory: a model theoretic approach

Iteratively algebraic orders

Itqiy: A study of noble gases and oxygen isotopes including its terrestrial age and a comparison with Zaklodzie

ITRF 90 and other realizations of the IERS Terrestrial Reference System for 1990.

ITRF 91 and its associated velocity field.

IUE observations of Z Andromedae - Spectral variations during quiescence and a physical model

IXO and the Missing Baryons: The Need High Resolution Spectroscopy

I[omega_2] can be the nonstationary ideal on Cof(omega_1)