Works matching DE "MODEL theoretic algebra"

Results: 44

Decomposable L-valued measures as measurable bundles.

Published in:

Positivity, 2010, v. 14, n. 3, p. 395, doi. 10.1007/s11117-009-0025-4

By:

Chilin, Vladimir;
Zakirov, Botir

Publication type:

Article

On the zeros of a polynomial.

Published in:

Proceedings of the Indian Academy of Sciences: Mathematical Sciences, 2009, v. 119, n. 1, p. 37, doi. 10.1007/s12044-009-0004-5

By:

Jain, V. K.

Publication type:

Article

An Intuitionistic Completeness Theorem for Classical Predicate Logic.

Published in:

Studia Logica, 2010, v. 96, n. 1, p. 109, doi. 10.1007/s11225-010-9273-3

By:

Krivtsov, Victor N.

Publication type:

Article

Roots of random polynomials over a finite field.

Published in:

Mathematical Notes, 2006, v. 80, n. 1/2, p. 300, doi. 10.1007/s11006-006-0139-y

By:

Leont’ev, V. K.

Publication type:

Article

A new coalgebraic Lindström theorem.

Published in:

Journal of Logic & Computation, 2016, v. 26, n. 5, p. 1541, doi. 10.1093/logcom/exu045

By:

ENQVIST, SEBASTIAN

Publication type:

Article

Relevant harmony.

Published in:

Journal of Logic & Computation, 2016, v. 26, n. 1, p. 235, doi. 10.1093/logcom/ext026

By:

FRANCEZ, NISSIM

Publication type:

Article

Model-theoretic and Computational Properties of Modal Dependence Logic.

Published in:

Journal of Logic & Computation, 2009, v. 19, n. 6, p. 1157, doi. 10.1093/logcom/exn102

By:

SEVENSTER, MERLIJN

Publication type:

Article

INTERVAL METHODS IN KNOWLEDGE REPRESENTATION.

Published in:

International Journal of Uncertainty, Fuzziness & Knowledge-Based Systems, 2007, v. 15, n. 4, p. 519, doi. 10.1142/S0218488507004832

By:

Kreinovich, Vladik

Publication type:

Article

Model-theoretic properties of regular polygons.

Published in:

Journal of Mathematical Sciences, 2007, v. 140, n. 2, p. 250, doi. 10.1007/s10958-007-0422-9

By:

Mikhalev, A. V.;
Ovchinnikova, E. V.;
Palyutin, A. A.;
Stepanova, A. A.

Publication type:

Article

Gauss Sum of Index 4: (1) Cyclic Case.

Published in:

Acta Mathematica Sinica, 2005, v. 21, n. 6, p. 1425, doi. 10.1007/s10114-005-0610-9

By:

Feng, Ke;
Yang, Jing;
Luo, Shi

Publication type:

Article

The p-Modular Descent Algebra of the Symmetric Group.

Published in:

Bulletin of the London Mathematical Society, 1997, v. 29, n. 4, p. 407, doi. 10.1112/S0024609396002858

By:

Atkinson, M. D.;
Van Willigenburg, S. J.

Publication type:

Article

THE ALGEBRAIC THEORY OF TEMPERED REPRESENTATIONS OF p-ADIC GROUPS I. PARABOLIC INDUCTION AND RESTRICTION.

Published in:

Journal of the Institute of Mathematics of Jussieu, 2007, v. 6, n. 4, p. 639, doi. 10.1017/S1474748007000047

By:

Peter Schneider;
Ernst-Wilhelm Zink

Publication type:

Article

YONEDA REPRESENTATIONS OF FLAT FUNCTORS AND CLASSIFYING TOPOSES.

Published in:

Theory & Applications of Categories, 2012, v. 26, n. 2, p. 538

By:

CARAMELLO, OLIVIA

Publication type:

Article

BIMONADICITY AND THE EXPLICIT BASIS PROPERTY.

Published in:

Theory & Applications of Categories, 2012, v. 26, n. 2, p. 554

By:

MENNI, MATÍAS

Publication type:

Article

Efficient Management of Multiple Sets to Extract Complex Structures from Mathematical Programs.

Published in:

Annals of Operations Research, 2001, v. 104, n. 1-4, p. 67, doi. 10.1023/a:1013134818537

By:

Fragnière, Emmanuel;
Gondzio, Jacek;
Sarkissian, Robert

Publication type:

Article

Language Constructs for Modeling Stochastic Linear Programs.

Published in:

Annals of Operations Research, 2001, v. 104, n. 1-4, p. 49, doi. 10.1023/A:1013182717628

By:

Entriken, Robert

Publication type:

Article

The Recursive Definition of Stochastic Linear Programming Problems within an Algebraic Modeling Language.

Published in:

Annals of Operations Research, 2001, v. 104, n. 1-4, p. 15, doi. 10.1023/A:1013126632649

By:

Buchanan, C. S.;
McKinnon, K. I. M.;
Skondras, G. K.

Publication type:

Article

GK-DIMENSION OF ALGEBRAS WITH MANY GENERIC RELATIONS.

Published in:

Glasgow Mathematical Journal, 2009, v. 51, n. 2, p. 253, doi. 10.1017/S0017089508004667

By:

Smoktunowicz, Agata

Publication type:

Article

Learning from Multiple Sources.

Published in:

Journal of Machine Learning Research, 2008, v. 9, n. 8, p. 1757

By:

Crammer, Koby;
Kearns, Michael;
Wortman, Jennifer

Publication type:

Article

CHARACTERIZATION OF ⇔κ IN CORE MODELS.

Published in:

Journal of Mathematical Logic, 2004, v. 4, n. 1, p. 1, doi. 10.1142/S0219061304000310

By:

Schimmerling, Ernest;
Zeman, Martin

Publication type:

Article

The Metamathematics of Putnam's Model-Theoretic Arguments.

Published in:

Erkenntnis, 2011, v. 74, n. 3, p. 321, doi. 10.1007/s10670-011-9270-6

By:

Button, Tim

Publication type:

Article

ON THE SYMBIOSIS BETWEEN MODEL-THEORETIC AND SET-THEORETIC PROPERTIES OF LARGE CARDINALS.

Published in:

Journal of Symbolic Logic, 2016, v. 81, n. 2, p. 584, doi. 10.1017/jsl.2015.60

By:

BAGARIA, JOAN;
VÄÄNÄNEN, JOUKO

Publication type:

Article

Boolean representation of bounded BCK-algebras.

Published in:

Soft Computing - A Fusion of Foundations, Methodologies & Applications, 2008, v. 12, n. 10, p. 941, doi. 10.1007/s00500-007-0261-0

By:

Joan Gispert;
Antoni Torrens

Publication type:

Article

Paving the Way for Algebra.

Published in:

Journal of Education, 1941, v. 124, n. 1, p. 9, doi. 10.1177/002205744112400103

By:

Root, Dan O.

Publication type:

Article

Model theory of exponentials on Lie algebras.

Published in:

Mathematical Structures in Computer Science, 2008, v. 18, n. 1, p. 189, doi. 10.1017/S0960129508006622

By:

ANGUS MACINTYRE

Publication type:

Article

PRESENTATIONS OF WESS–ZUMINO–WITTEN FUSION RINGS.

Published in:

Reviews in Mathematical Physics, 2006, v. 18, n. 2, p. 201, doi. 10.1142/S0129055X06002620

By:

BOUWKNEGT, PETER;
RIDOUT, DAVID

Publication type:

Article

Temporal Algebras, Pretemporal Algebras, and Modal Algebras: A Relation between Time and Necessity.

Published in:

Mathematical Logic Quarterly, 1995, v. 41, n. 1, p. 24, doi. 10.1002/malq.19950410104

By:

Olmedo, Francisco M. García;
Salas, Antonio J. Rodríguez

Publication type:

Article

On Weak Theories of Sets and Classes which are Based on Strict ∏.

Published in:

Mathematical Logic Quarterly, 1985, v. 31, n. 21-23, p. 321, doi. 10.1002/malq.19850312102

By:

Cantini, Andrea

Publication type:

Article

REGULAR IDEALS AND BOOLEAN PAIRS.

Published in:

Mathematical Logic Quarterly, 1984, v. 30, n. 35, p. 547, doi. 10.1002/malq.19840303504

By:

Heindorf, Lutz

Publication type:

Article

MODELS OF PA: STANDARD SYSTEMS WITHOUT MINIMAL ULTRAFILTERS.

Published in:

Sarajevo Journal of Mathematics, 2018, v. 14, n. 1, p. 3, doi. 10.5644/SJM.14.1.01

By:

SHELAH, SAHARON

Publication type:

Article

ON THE CLOSURE OF TREE FORCING ALGEBRAS UNDER CONTINUOUS PREIMAGE.

Published in:

Real Analysis Exchange, 2004, p. 73

By:

Reardon, Patrick

Publication type:

Article

Semi-Simple Extension of the (Super) Poincaré Algebra.

Published in:

Advances in High Energy Physics, 2009, p. 1, doi. 10.1155/2009/234147

By:

Soroka, Dmitrij V.;
Soroka, Vyacheslav A.

Publication type:

Article

Quantified universes and ultraproducts.

Published in:

Mathematical Logic Quarterly, 2012, v. 58, n. 1/2, p. 63, doi. 10.1002/malq.201110019

By:

Mofidi, Alireza;
Bagheri, Seyed-Mohammad

Publication type:

Article

Omitting types in fuzzy logic with evaluated syntax.

Published in:

Mathematical Logic Quarterly, 2006, v. 52, n. 3, p. 259, doi. 10.1002/malq.200510031

By:

Murinová, Petra;
Novák, Vilém

Publication type:

Article

Envelopes, indicators and conservativeness.

Published in:

Mathematical Logic Quarterly, 2006, v. 52, n. 1, p. 51, doi. 10.1002/malq.200410055

By:

Cordón-Franco, Andrés;
Fernández-Margarit, Alejandro;
Lara-Martín, F. Félix

Publication type:

Article

Joint Consistency of Fuzzy Theories.

Published in:

Mathematical Logic Quarterly, 2002, v. 48, n. 4, p. 563

By:

Novák, Vilém

Publication type:

Article

Pseudomonadic Algebras as Algebraic Models of Doxastic Modal Logic.

Published in:

Mathematical Logic Quarterly, 2002, v. 48, n. 4, p. 624, doi. 10.1002/1521-3870(200211)48:4<624::AID-MALQ624>3.0.CO;2-3

By:

Bezhanishvili, Nick

Publication type:

Article

Synthesis on forward kinematics problem algebraic modeling for the planar parallel manipulator: displacement-based equation systems.

Published in:

Advanced Robotics, 2006, v. 20, n. 9, p. 1035, doi. 10.1163/156855306778394003

By:

Rolland, Luc

Publication type:

Article

Proof-theoretic semantics for a natural language fragment.

Published in:

Linguistics & Philosophy, 2010, v. 33, n. 6, p. 447, doi. 10.1007/s10988-011-9088-3

By:

Francez, Nissim;
Dyckhoff, Roy

Publication type:

Article

Generating the Greatest Common Divisor, and Limitations of Primitive Recursive Algorithms.

Published in:

Foundations of Computational Mathematics, 2003, v. 3, n. 3, p. 297, doi. 10.1007/s10208-002-0061-y

By:

Van den Dries, L.

Publication type:

Article

Nonsemisimple Fusion Algebras and the Verlinde Formula.

Published in:

Communications in Mathematical Physics, 2004, v. 247, n. 3, p. 713, doi. 10.1007/s00220-004-1058-y

By:

Fuchs, J.;
Hwang, S.;
Semikhatov, A. M.;
Tipunin, I. Yu.

Publication type:

Article

Note on centrally extended su22 and Serre relations.

Published in:

Fortschritte der Physik / Progress of Physics, 2009, v. 57, n. 5-7, p. 542, doi. 10.1002/prop.200900052

By:

V.K. Dobrev

Publication type:

Article

Stochastic Process Algebras: From Individuals to Populations.

Published in:

Computer Journal, 2012, v. 55, n. 7, p. 866, doi. 10.1093/comjnl/bxr094

By:

Hillston, Jane;
Tribastone, Mirco;
Gilmore, Stephen

Publication type:

Article

HIGHER ORDER CONGRUENCES AMONGST HASSE–WEIL $L$-VALUES.

Published in:

Journal of the Australian Mathematical Society, 2015, v. 98, n. 1, p. 1, doi. 10.1017/S1446788714000445

By:

DELBOURGO, DANIEL;
PETERS, LLOYD

Publication type:

Article