Volume 40; Issue 1

Mathematical Logic Quarterly

Volume 40; Issue 1

1

Masthead

Journal:

Mathematical Logic Quarterly

Year:

1994

File:

PDF, 29 KB

1994

2

Lebesgue Convergence Theorems and Reverse Mathematics

Journal:

Mathematical Logic Quarterly

Year:

1994

Language:

english

File:

PDF, 650 KB

english, 1994

3

On Preservation of Stability for Finite Extensions of Abelian Groups

Journal:

Mathematical Logic Quarterly

Year:

1994

Language:

english

File:

PDF, 778 KB

english, 1994

4

Fregean Extensions of First-Order Theories

Journal:

Mathematical Logic Quarterly

Year:

1994

Language:

english

File:

PDF, 205 KB

english, 1994

5

An Application of Logic to Combinatorial Geometry: How Many Tetrahedra are Equidecomposable with a Cube?

Vladik Kreinovich, Olga Kosheleva

Journal:

Mathematical Logic Quarterly

Year:

1994

Language:

english

File:

PDF, 231 KB

english, 1994

6

Complements of Intersections in Constructive Mathematics

Douglas S. Bridges, Hajime Ishihara

Journal:

Mathematical Logic Quarterly

Year:

1994

Language:

english

File:

PDF, 488 KB

english, 1994

7

Translations of Logical Formulas and the Equiconsistency Problem

Andrei A. Kuzichev

Journal:

Mathematical Logic Quarterly

Year:

1994

Language:

english

File:

PDF, 369 KB

english, 1994

8

Choices of Convenient Sets

Antonín Sochor

Journal:

Mathematical Logic Quarterly

Year:

1994

Language:

english

File:

PDF, 484 KB

english, 1994

9

A Finite Hilbert-Style Axiomatization of the Implication-Less Fragment of the Intuitionistic Propositional Calculus

Jordi Rebagliato, Ventura Verdú

Journal:

Mathematical Logic Quarterly

Year:

1994

Language:

english

File:

PDF, 374 KB

english, 1994

10

Boolean Valued and Stone Algebra Valued Measure Theories

Hirokazu Nishimura

Journal:

Mathematical Logic Quarterly

Year:

1994

Language:

english

File:

PDF, 402 KB

english, 1994

11

Ternary Operations as Primitive Notions for Constructive Plane Geometry IV

Victor Pambuccian

Journal:

Mathematical Logic Quarterly

Year:

1994

Language:

english

File:

PDF, 490 KB

english, 1994

12

The Index Set of Injectively Enumerable Classes of Recursively Enumerable Sets in ∑5-Complete

Journal:

Mathematical Logic Quarterly

Year:

1994

Language:

english

File:

PDF, 372 KB

english, 1994

13

Automorphisms of Models of True Arithmetic: Subgroups which Extend to a Maximal Subgroup Uniquely

Henryk Kotlarski, Bożena Piekart

Journal:

Mathematical Logic Quarterly

Year:

1994

Language:

english

File:

PDF, 420 KB

english, 1994

14

Universal Induction and True Universal Arithmetic

Teresa Bigorajska

Journal:

Mathematical Logic Quarterly

Year:

1994

Language:

english

File:

PDF, 148 KB

english, 1994

15

A New Reducibility between Turing- and wtt-Reducibility

Journal:

Mathematical Logic Quarterly

Year:

1994

Language:

english

File:

PDF, 233 KB

english, 1994

16

Some Aspects and Examples of Infinity Notions

Journal:

Mathematical Logic Quarterly

Year:

1994

Language:

english

File:

PDF, 858 KB

english, 1994

17

Abelian-by-G Groups, for G Finite, from the Model Theoretic Point of View

Annalisa Marcja, Carlo Toffalori

Journal:

Mathematical Logic Quarterly

Year:

1994

Language:

english

File:

PDF, 418 KB

english, 1994

18

Monotonicity and the Expressibility of NP Operators

Iain A. Stewart

Journal:

Mathematical Logic Quarterly

Year:

1994

Language:

english

File:

PDF, 517 KB

english, 1994

19

Model Companions with Finitely Many Countable Models

Journal:

Mathematical Logic Quarterly

Year:

1994

Language:

english

File:

PDF, 111 KB

english, 1994

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Tor version

Z-Library

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски