Works matching IS 09425616 AND DT 2013 AND VI 59 AND IP 1/2

Results: 15

Remarks on gaps in \documentclass{article}\usepackage{amssymb}\begin{document}\pagestyle{empty}${\mathrm{Dense}(\mathbb {Q})/\mathbf {nwd}}$\end{document}.

Published in:

Mathematical Logic Quarterly, 2013, v. 59, n. 1/2, p. 51, doi. 10.1002/malq.201110047

By:

Kankaanpää, Teppo

Publication type:

Article

A consistency proof for some restrictions of Tait's reflection principles.

Published in:

Mathematical Logic Quarterly, 2013, v. 59, n. 1/2, p. 112, doi. 10.1002/malq.201200015

By:

McCallum, Rupert

Publication type:

Article

Temporal Gödel-Gentzen and Girard translations.

Published in:

Mathematical Logic Quarterly, 2013, v. 59, n. 1/2, p. 66, doi. 10.1002/malq.201100083

By:

Kamide, Norihiro

Publication type:

Article

Quantum computational logic with mixed states.

Published in:

Mathematical Logic Quarterly, 2013, v. 59, n. 1/2, p. 27, doi. 10.1002/malq.201110030

By:

Freytes, Hector;
Domenech, Graciela

Publication type:

Article

Computing links and accessing arcs.

Published in:

Mathematical Logic Quarterly, 2013, v. 59, n. 1/2, p. 101, doi. 10.1002/malq.201200026

By:

McNicholl, Timothy H.

Publication type:

Article

Issue Information.

Published in:: Mathematical Logic Quarterly, 2013, v. 59, n. 1/2, p. n/a, doi. 10.1002/malq.201390001
Publication type:: Article

Two remarks on elementary theories of groups obtained by free constructions.

Published in:

Mathematical Logic Quarterly, 2013, v. 59, n. 1/2, p. 12, doi. 10.1002/malq.201200010

By:

Jaligot, Eric

Publication type:

Article

Complexity and expressive power of second-order extended Horn logic.

Published in:

Mathematical Logic Quarterly, 2013, v. 59, n. 1/2, p. 4, doi. 10.1002/malq.201110034

By:

Feng, Shiguang;
Zhao, Xishun

Publication type:

Article

Ordinal operations on graph representations of sets.

Published in:

Mathematical Logic Quarterly, 2013, v. 59, n. 1/2, p. 19, doi. 10.1002/malq.201100082

By:

Kirby, LaurENce

Publication type:

Article

On the strength of Ramsey's theorem without Σ<sub>1</sub>-induction.

Published in:

Mathematical Logic Quarterly, 2013, v. 59, n. 1/2, p. 108, doi. 10.1002/malq.201200047

By:

Yokoyama, Keita

Publication type:

Article

On a classification of theories without the independence property.

Published in:

Mathematical Logic Quarterly, 2013, v. 59, n. 1/2, p. 119, doi. 10.1002/malq.201020060

By:

Verbovskiy, Viktor

Publication type:

Article

Cover Picture.

Published in:: Mathematical Logic Quarterly, 2013, v. 59, n. 1/2, p. n/a, doi. 10.1002/malq.201390000
Publication type:: Article

Weak forms of the Regularity Principle in the presence of \documentclass{article}\usepackage{amssymb}\begin{document}\pagestyle{empty}$\bf {\mathsf {I}{\mathrm{E}}_1}$\end{document}.

Published in:

Mathematical Logic Quarterly, 2013, v. 59, n. 1/2, p. 84, doi. 10.1002/malq.201100100

By:

Cornaros, Charalampos

Publication type:

Article

Contents: (Math. Log. Quart. 1-2/2013).

Published in:: 2013
Publication type:: Table of Contents

A remark on the definability of the Fitting subgroup and the soluble radical.

Published in:

Mathematical Logic Quarterly, 2013, v. 59, n. 1/2, p. 62, doi. 10.1002/malq.201200038

By:

Houcine, Abderezak Ould

Publication type:

Article