Works matching IS 09425616 AND DT 1992 AND VI 38 AND IP 1

Results: 55

A DIRECT PROOF OF A RESULT OF SHELAH.

Published in:

Mathematical Logic Quarterly, 1992, v. 38, n. 1, p. 325, doi. 10.1002/malq.19920380130

By:

Weese, Martin

Publication type:

Article

Masthead.

Published in:: Mathematical Logic Quarterly, 1992, v. 38, n. 1, p. fmi, doi. 10.1002/malq.19920380101
Publication type:: Article

BOUNDS IN THE TURING REDUCIBILITY OF FUNCTIONS.

Published in:

Mathematical Logic Quarterly, 1992, v. 38, n. 1, p. 423, doi. 10.1002/malq.19920380141

By:

Habart, Karol;
Habart, K.

Publication type:

Article

RECURSIVE BAIRE CLASSIFICATION AND SPEEDABLE FUNCTIONS.

Published in:

Mathematical Logic Quarterly, 1992, v. 38, n. 1, p. 169, doi. 10.1002/malq.19920380112

By:

Calude, Cristian;
Istrate, Gabriel;
Zimand, Marius

Publication type:

Article

TWO TOPOLOGICAL EQUIVALENTS OF THE AXIOM OF CHOICE.

Published in:

Mathematical Logic Quarterly, 1992, v. 38, n. 1, p. 555, doi. 10.1002/malq.19920380152

By:

Schechter, Eric;
Schechter, E.

Publication type:

Article

A CLASS OF MODELS FOR SKALA'S SET THEORY.

Published in:

Mathematical Logic Quarterly, 1992, v. 38, n. 1, p. 277, doi. 10.1002/malq.19920380123

By:

Greco, Antonio

Publication type:

Article

PARTIALLY ORDERED CONNECTIVES.

Published in:

Mathematical Logic Quarterly, 1992, v. 38, n. 1, p. 361, doi. 10.1002/malq.19920380134

By:

Sandu, Gabriel;
Väänänen, Jouko

Publication type:

Article

THE JUDGEMENT CALCULUS FOR INTUITIONISTIC LINEAR LOGIC: PROOF THEORY AND SEMANTICS.

Published in:

Mathematical Logic Quarterly, 1992, v. 38, n. 1, p. 39, doi. 10.1002/malq.19920380105

By:

Valentini, Silvio

Publication type:

Article

INTERDEFINABILITY OF LAMBEKIAN FUNCTORS.

Published in:

Mathematical Logic Quarterly, 1992, v. 38, n. 1, p. 501, doi. 10.1002/malq.19920380145

By:

Zielonka, Wojciech;
Zielonka, W.

Publication type:

Article

ON THE ITERATED ω-RULE.

Published in:

Mathematical Logic Quarterly, 1992, v. 38, n. 1, p. 203, doi. 10.1002/malq.19920380116

By:

Michalski, Grzegorz

Publication type:

Article

A GAME-THEORETIC PROOF OF ANALYTIC RAMSEY THEOREM.

Published in:

Mathematical Logic Quarterly, 1992, v. 38, n. 1, p. 301, doi. 10.1002/malq.19920380127

By:

Tanaka, Kazuyuki

Publication type:

Article

ON NON-DETERMINED EHRENFEUCHT-FRAÏSSÉ GAMES AND UNSTABLE THEORIES.

Published in:

Mathematical Logic Quarterly, 1992, v. 38, n. 1, p. 399, doi. 10.1002/malq.19920380138

By:

Hyttinen, Tapani;
Hyttinen, T.

Publication type:

Article

LEVELS OF IMPLICATION AND TYPE FREE THEORIES OF CLASSIFICATIONS WITH APPROXIMATION OPERATOR.

Published in:

Mathematical Logic Quarterly, 1992, v. 38, n. 1, p. 107, doi. 10.1002/malq.19920380109

By:

Cantini, Andrea

Publication type:

Article

RUSSELL'S ALTERNATIVE TO THE AXIOM OF CHOICE.

Published in:

Mathematical Logic Quarterly, 1992, v. 38, n. 1, p. 529, doi. 10.1002/malq.19920380149

By:

Brunner, Norbert;
Howard, Paul

Publication type:

Article

A FORMALISM FOR SOME CLASS OF FORCING NOTIONS.

Published in:

Mathematical Logic Quarterly, 1992, v. 38, n. 1, p. 413, doi. 10.1002/malq.19920380140

By:

Koszmider, Piotr;
Koszmider, P.

Publication type:

Article

RECONSTRUCTION OF BINARY RELATIONS FROM THEIR RESTRICTIONS OF CARDINALITY 2, 3, 4 and ( n - 1) II.

Published in:

Mathematical Logic Quarterly, 1992, v. 38, n. 1, p. 157, doi. 10.1002/malq.19920380111

By:

Lopez, Gérard;
Rauzy, Claire

Publication type:

Article

FLAGG AND FRIEDMAN'S TRANSLATION IS NOT FAITHFUL.

Published in:

Mathematical Logic Quarterly, 1992, v. 38, n. 1, p. 551, doi. 10.1002/malq.19920380151

By:

Inoué, Takao;
Inoué, T.

Publication type:

Article

REPRESENTATION OF POSETS.

Published in:

Mathematical Logic Quarterly, 1992, v. 38, n. 1, p. 269, doi. 10.1002/malq.19920380122

By:

Cheng, Yungchen;
Kemp, Paula

Publication type:

Article

REDUCIBILITY IN SOME CATEGORIES OF PARTIAL RECURSIVE OPERATORS.

Published in:

Mathematical Logic Quarterly, 1992, v. 38, n. 1, p. 349, doi. 10.1002/malq.19920380133

By:

Bianchini, Caterina;
Sorbi, Andrea

Publication type:

Article

RECONSTRUCTION OF BINARY RELATIONS FROM THEIR RESTRICTIONS OF CARDINALITY 2, 3, 4 and ( n - 1) I.

Published in:

Mathematical Logic Quarterly, 1992, v. 38, n. 1, p. 27, doi. 10.1002/malq.19920380104

By:

Lopez, Gérard;
Rauzy, Claire

Publication type:

Article

QUANTIFIED MODAL LOGIC WITH NEIGHBORHOOD SEMANTICS.

Published in:

Mathematical Logic Quarterly, 1992, v. 38, n. 1, p. 491, doi. 10.1002/malq.19920380144

By:

Waagbø, Geir;
Waagbø, G.

Publication type:

Article

THE FUNDAMENTAL THEOREM OF ULTRAPRODUCT IN PAVELKA'S LOGIC.

Published in:

Mathematical Logic Quarterly, 1992, v. 38, n. 1, p. 197, doi. 10.1002/malq.19920380115

By:

Ying, Mingsheng

Publication type:

Article

ELIMINATION OF QUANTIFIERS OVER VECTORS IN SOME THEORIES OF VECTOR SPACES.

Published in:

Mathematical Logic Quarterly, 1992, v. 38, n. 1, p. 575, doi. 10.1002/malq.19920380155

By:

Kuzichev, Andrey A.

Publication type:

Article

THE AMBIGUOUS TYPE THEORY IS HEREDITARILY UNDECIDABLE.

Published in:

Mathematical Logic Quarterly, 1992, v. 38, n. 1, p. 299, doi. 10.1002/malq.19920380126

By:

Kuzichev, Andrey A.

Publication type:

Article

ON THE TRANSITIVE HULL OF A κ-NARROW RELATION.

Published in:

Mathematical Logic Quarterly, 1992, v. 38, n. 1, p. 387, doi. 10.1002/malq.19920380137

By:

Diener, Karl-Heinz;
Diener, K.-H.

Publication type:

Article

ON DEFINABILITY OF NORMAL SUBGROUPS OF A SUPERSTABLE GROUP.

Published in:

Mathematical Logic Quarterly, 1992, v. 38, n. 1, p. 101, doi. 10.1002/malq.19920380108

By:

Tsuboi, Akito

Publication type:

Article

ORDINAL NUMBERS IN ARITHMETIC PROGRESSION.

Published in:

Mathematical Logic Quarterly, 1992, v. 38, n. 1, p. 525, doi. 10.1002/malq.19920380148

By:

Bagemihl, Frederick;
Bagemihl, F.

Publication type:

Article

ANALYTIC COMPLETENESS THEOREM FOR ABSOLUTELY CONTINUOUS BIPROBABILITY MODELS.

Published in:

Mathematical Logic Quarterly, 1992, v. 38, n. 1, p. 241, doi. 10.1002/malq.19920380119

By:

Đorđević, Radosav S.

Publication type:

Article

THE DECISION PROBLEM FOR RESTRICTED UNIVERSAL QUANTIFICATION IN SET THEORY AND THE AXIOM OF FOUNDATION.

Published in:

Mathematical Logic Quarterly, 1992, v. 38, n. 1, p. 143, doi. 10.1002/malq.19920380110

By:

Parlamento, Franco;
Policriti, Alberto

Publication type:

Article

PROVABILITY LOGIC IN THE GENTZEN FORMULATION OF ARITHMETIC.

Published in:

Mathematical Logic Quarterly, 1992, v. 38, n. 1, p. 535, doi. 10.1002/malq.19920380150

By:

Gentilini, Paolo;
Gentilini, P.

Publication type:

Article

UNIVERSAL FUNCTIONS IN PARTIAL STRUCTURES.

Published in:

Mathematical Logic Quarterly, 1992, v. 38, n. 1, p. 253, doi. 10.1002/malq.19920380121

By:

Negri, Maurizio

Publication type:

Article

TERNARY OPERATIONS AS PRIMITIVE NOTIONS FOR PLANE GEOMETRY II.

Published in:

Mathematical Logic Quarterly, 1992, v. 38, n. 1, p. 345, doi. 10.1002/malq.19920380132

By:

Pambuccian, Victor

Publication type:

Article

GAME APPROXIMATIONS OF SATISFACTION CLASSES MODELS.

Published in:

Mathematical Logic Quarterly, 1992, v. 38, n. 1, p. 21, doi. 10.1002/malq.19920380103

By:

Kossak, Roman;
Kotlarski, Henryk

Publication type:

Article

RESTRICTION RESPECTUEUSE ET RECONSTRUCTION DES CHAINES ET DES RELATIONS INFINITES.

Published in:

Mathematical Logic Quarterly, 1992, v. 38, n. 1, p. 457, doi. 10.1002/malq.19920380143

By:

Hagendorf, Jean Guillaume;
Hagendorf, J. G.

Publication type:

Article

TOPOLOGICAL FRAMEWORK FOR FINITE INJURY.

Published in:

Mathematical Logic Quarterly, 1992, v. 38, n. 1, p. 189, doi. 10.1002/malq.19920380114

By:

Kontostathis, Kyriakos

Publication type:

Article

Korrektur.

Published in:: Mathematical Logic Quarterly, 1992, v. 38, n. 1, p. 574, doi. 10.1002/malq.19920380154
Publication type:: Article

SOME RAMSEY THEORY IN BOOLEAN ALGEBRA FOR COMPLEXITY CLASSES.

Published in:

Mathematical Logic Quarterly, 1992, v. 38, n. 1, p. 293, doi. 10.1002/malq.19920380125

By:

McColm, Gregory L.

Publication type:

Article

ALGEBRAIC CLOSURE WITHOUT CHOICE.

Published in:

Mathematical Logic Quarterly, 1992, v. 38, n. 1, p. 383, doi. 10.1002/malq.19920380136

By:

Banaschewski, Bernhard

Publication type:

Article

CUT ELIMINATION FOR PROPOSITIONAL DYNAMIC LOGIC WITHOUT.

Published in:

Mathematical Logic Quarterly, 1992, v. 38, n. 1, p. 85, doi. 10.1002/malq.19920380107

By:

Bull, Robert A.

Publication type:

Article

COMPACTNESS, THE LÖWENHEIM-SKOLEM PROPERTY AND THE DIRECT PRODUCT OF LATTICES OF TRUTH VALUES.

Published in:

Mathematical Logic Quarterly, 1992, v. 38, n. 1, p. 521, doi. 10.1002/malq.19920380147

By:

Ying, Mingsheng

Publication type:

Article

AN INTERPRETATION OF MARTIN-LÖF'S CONSTRUCTIVE THEORY OF TYPES IN ELEMENTARY TOPOS THEORY.

Published in:

Mathematical Logic Quarterly, 1992, v. 38, n. 1, p. 213, doi. 10.1002/malq.19920380118

By:

Preller, Anne

Publication type:

Article

ON THE INCOMPLETENESS OF A DESCENDING CHAIN OF EXTENSIONS OF IMPLICATIONAL S5.

Published in:

Mathematical Logic Quarterly, 1992, v. 38, n. 1, p. 321, doi. 10.1002/malq.19920380129

By:

Ulrich, Dolph

Publication type:

Article

ON THE INADEQUACY OF THE RELATIONAL SEMANTIC FOR THE 'UNTIL' OPERATOR.

Published in:

Mathematical Logic Quarterly, 1992, v. 38, n. 1, p. 247, doi. 10.1002/malq.19920380120

By:

Bellissima, Fabio;
Ciupi, Alessandra

Publication type:

Article

FINITE REPLACEMENT AND FINITE HILBERT-STYLE AXIOMATIZABILITY.

Published in:

Mathematical Logic Quarterly, 1992, v. 38, n. 1, p. 327, doi. 10.1002/malq.19920380131

By:

Herrmann, B.;
Rautenberg, W.

Publication type:

Article

THE PRESERVATION OF SUBMODEL RELATION BY TAKING PRIMITIVE MODELS.

Published in:

Mathematical Logic Quarterly, 1992, v. 38, n. 1, p. 3, doi. 10.1002/malq.19920380102

By:

Pazdyka, Paweł

Publication type:

Article

A NOTATION SYSTEM FOR ORDINAL USING Ψ-FUNCTIONS ON INACCESSIBLE MAHLO NUMBERS.

Published in:

Mathematical Logic Quarterly, 1992, v. 38, n. 1, p. 431, doi. 10.1002/malq.19920380142

By:

Pfeiffer, Helmut;
Pfeiffer, H.

Publication type:

Article

A BRIEF SURVEY OF FRAMES FOR THE LAMBEK CALCULUS.

Published in:

Mathematical Logic Quarterly, 1992, v. 38, n. 1, p. 179, doi. 10.1002/malq.19920380113

By:

Došen, Kosta

Publication type:

Article

EIN NEUER BEWEIS UND EINE VERSCHÄRFUNG FÜR DEN REDUKTIONSTYP ∀∃∀∞(0, 1) MIT EINER ANWENDUNG AUF DIE SPEKTRALE DARSTELLUNG VON PRÄDIKATEN.

Published in:

Mathematical Logic Quarterly, 1992, v. 38, n. 1, p. 559, doi. 10.1002/malq.19920380153

By:

Deutsch, Michael;
Deutsch, M.

Publication type:

Article

LA RECONSTRUCTION DES TOURNOIS SANS DIAMANT.

Published in:

Mathematical Logic Quarterly, 1992, v. 38, n. 1, p. 283, doi. 10.1002/malq.19920380124

By:

Gnanvo, Cyprien;
Ille, Pierre

Publication type:

Article

BOOLEAN ALGEBRAS IN AST.

Published in:

Mathematical Logic Quarterly, 1992, v. 38, n. 1, p. 373, doi. 10.1002/malq.19920380135

By:

Schumacher, Klaus

Publication type:

Article