#### Filter Results:

- Full text PDF available (4)

#### Publication Year

1980

2017

- This year (1)
- Last 5 years (4)
- Last 10 years (4)

#### Publication Type

#### Co-author

#### Journals and Conferences

#### Key Phrases

Learn More

In 1938, Tarski proved that a formula is not intuitionistically valid if, and only if, it has a counter-model in the Heyting algebra of open sets of some topological space. In fact, Tarski showed that any Euclidean space Rn with n > 1 suffices, as does e.g. the Cantor space. In particular, intuitionistic logic cannot detect topological dimension in the… (More)

- Vincenzo Marra, Daniel McNeill, Andrea Pedrini
- TACL
- 2013

(See e.g. [6] for background.) When X is equipped with a distinguished basis D for its topology, closed under finite meets and joins, one can investigate situations where D is also closed under the implication (2), i.e., where D is a Heyting subalgebra of O (X). Recall that X is a spectral space if it is compact and T0, its collection D of compact open… (More)

(See e.g. [6] for background.) When X is equipped with a distinguished basis D for its topology, closed under finite meets and joins, one can investigate situations where D is also closed under the implication (2), i.e., where D is a Heyting subalgebra of O (X). Recall that X is a spectral space if it is compact and T0, its collection D of compact open… (More)

- Giacomo Parigi, Andrea Pedrini, Marco Piastra
- 2015 International Joint Conference on Neural…
- 2015

Neural gas (NG) is a robust vector quantization algorithm for which a descriptive mathematical model is known. According to this model, the output configuration produced by the NG algorithm samples the input data distribution with a density that follows a power law with a magnification factor that depends on data dimensionality only. The effects of shape in… (More)

- E. Kehyayan, Ivan Galdi, A J Mangiaracina, Andrea Pedrini, D. Vaggi
- Minerva pediatrica
- 1980

- ‹
- 1
- ›