Works matching IS 09425616 AND DT 2007 AND VI 53 AND IP 3

Results: 11

A notion of selective ultrafilter corresponding to topological Ramsey spaces.

Published in:

Mathematical Logic Quarterly, 2007, v. 53, n. 3, p. 255, doi. 10.1002/malq.200510045

By:

Mijares, José G.

Publication type:

Article

Bases, spanning sets, and the axiom of choice.

Published in:

Mathematical Logic Quarterly, 2007, v. 53, n. 3, p. 247, doi. 10.1002/malq.200610043

By:

Howard, Paul

Publication type:

Article

Kripke submodels and universal sentences.

Published in:

Mathematical Logic Quarterly, 2007, v. 53, n. 3, p. 311, doi. 10.1002/malq.200610048

By:

Ellison, Ben;
Fleischmann, Jonathan;
McGinn, Dan;
Ruitenburg, Wim

Publication type:

Article

Synthesized substructural logics.

Published in:

Mathematical Logic Quarterly, 2007, v. 53, n. 3, p. 219, doi. 10.1002/malq.200610036

By:

Kamide, Norihiro

Publication type:

Article

A generalization of the Keisler-Morley theorem to recursively saturated ordered structures.

Published in:

Mathematical Logic Quarterly, 2007, v. 53, n. 3, p. 289, doi. 10.1002/malq.200610045

By:

Mohsenipour, Shahram

Publication type:

Article

Infinite games in the Cantor space and subsystems of second order arithmetic.

Published in:

Mathematical Logic Quarterly, 2007, v. 53, n. 3, p. 226, doi. 10.1002/malq.200610041

By:

Nemoto, Takako;
Ould MedSalem, MedYahya;
Tanaka, Kazuyuki

Publication type:

Article

A note on stable sets, groups, and theories with NIP.

Published in:

Mathematical Logic Quarterly, 2007, v. 53, n. 3, p. 295, doi. 10.1002/malq.200610046

By:

Onshuus, Alf;
Peterzil, Ya'acov

Publication type:

Article

Quantifier elimination for the theory of algebraically closed valued fields with analytic structure.

Published in:

Mathematical Logic Quarterly, 2007, v. 53, n. 3, p. 237, doi. 10.1002/malq.200610042

By:

Çelikler, Yalın F.

Publication type:

Article

Coloring linear orders with Rado's partial order.

Published in:

Mathematical Logic Quarterly, 2007, v. 53, n. 3, p. 301, doi. 10.1002/malq.200710002

By:

Camerlo, Riccardo;
Marcone, Alberto

Publication type:

Article

A note on the decidability of exponential terms.

Published in:

Mathematical Logic Quarterly, 2007, v. 53, n. 3, p. 306, doi. 10.1002/malq.200610047

By:

D'Aquino, Paola;
Terzo, Giuseppina

Publication type:

Article

On n -contractive fuzzy logics.

Published in:

Mathematical Logic Quarterly, 2007, v. 53, n. 3, p. 268, doi. 10.1002/malq.200610044

By:

Horčík, Rostislav;
Noguera, Carles;
Petrík, Milan

Publication type:

Article