Works matching DE "DEFINABILITY theory (Mathematical logic)"

Results: 147

Positivstellensätze for differentiable functions.

Published in:

Positivity, 2011, v. 15, n. 2, p. 297, doi. 10.1007/s11117-010-0077-5

By:

Fischer, Andreas

Publication type:

Article

The physical Church thesis as an explanation of the Galileo thesis.

Published in:

Natural Computing, 2012, v. 11, n. 2, p. 247, doi. 10.1007/s11047-011-9301-x

By:

Dowek, Gilles

Publication type:

Article

On definability in some lattices of semigroup varieties.

Published in:

Semigroup Forum, 2012, v. 85, n. 3, p. 477, doi. 10.1007/s00233-012-9429-8

By:

Grech, Mariusz;
Sapir, Olga

Publication type:

Article

On Sahlqvist Formulas in Relevant Logic.

Published in:

Journal of Philosophical Logic, 2018, v. 47, n. 4, p. 673, doi. 10.1007/s10992-017-9445-y

By:

Badia, Guillermo

Publication type:

Article

Inter-Definability of Horn Contraction and Horn Revision.

Published in:

Journal of Philosophical Logic, 2017, v. 46, n. 3, p. 299, doi. 10.1007/s10992-016-9401-2

By:

Zhuang, Zhiqiang;
Pagnucco, Maurice;
Zhang, Yan

Publication type:

Article

ON THE EXPRESSIVE POWER OF MONOTONE NATURAL LANGUAGE QUANTIFIERS OVER FINITE MODELS.

Published in:

Journal of Philosophical Logic, 2002, v. 31, n. 4, p. 327

By:

Väänänen, Jouko;
Westerståhl, Dag

Publication type:

Article

New applications of the wreath product of forest algebras.

Published in:

RAIRO - Theoretical Informatics & Applications, 2013, v. 47, n. 3, p. 261, doi. 10.1051/ita/2013039

By:

Straubing, Howard

Publication type:

Article

Epistemic Operators in Dependence Logic.

Published in:

Studia Logica, 2013, v. 101, n. 2, p. 367, doi. 10.1007/s11225-013-9478-3

By:

Galliani, Pietro

Publication type:

Article

On the Modal Definability of Simulability by Finite Transitive Models.

Published in:

Studia Logica, 2011, v. 98, n. 3, p. 347, doi. 10.1007/s11225-011-9339-x

By:

Fernández Duque, David

Publication type:

Article

On the definability of completely decomposable torsion-free Abelian groups by endomorphism rings and some groups of homomorphisms.

Published in:

Mathematical Notes, 2017, v. 101, n. 3/4, p. 688, doi. 10.1134/S0001434617030269

By:

Pushkova, T.;
Sebel'din, A.

Publication type:

Article

The question of the definability of Abelian groups by the centers of their endomorphism rings.

Published in:

Mathematical Notes, 2012, v. 92, n. 1/2, p. 39, doi. 10.1134/S0001434612070048

By:

Vil'danov, V.;
Sebel'din, A.

Publication type:

Article

Countable OD sets of reals belong to the ground model.

Published in:

Archive for Mathematical Logic, 2018, v. 57, n. 3/4, p. 285, doi. 10.1007/s00153-017-0569-0

By:

Kanovei, Vladimir;
Lyubetsky, Vassily

Publication type:

Article

Definable types in the theory of closed ordered differential fields.

Published in:

Archive for Mathematical Logic, 2017, v. 56, n. 1/2, p. 119, doi. 10.1007/s00153-016-0517-4

By:

Brouette, Quentin

Publication type:

Article

A note on definability in fragments of arithmetic with free unary predicates.

Published in:

Archive for Mathematical Logic, 2013, v. 52, n. 5/6, p. 507, doi. 10.1007/s00153-013-0328-9

By:

Speranski, Stanislav

Publication type:

Article

Asymmetric RK-minimal types.

Published in:

Archive for Mathematical Logic, 2010, v. 49, n. 3, p. 367, doi. 10.1007/s00153-010-0176-9

By:

Tanovíc, Predrag

Publication type:

Article

An existential fragment of second order logic.

Published in:

Archive for Mathematical Logic, 1999, v. 38, n. 4, p. 217, doi. 10.1007/s001530050126

By:

Rosen, Eric

Publication type:

Article

Definability in the enumeration degrees.

Published in:

Archive for Mathematical Logic, 1997, v. 36, n. 4/5, p. 255, doi. 10.1007/s001530050064

By:

Slaman, Theodore A.;
Woodin, W. Hugh

Publication type:

Article

Definable and Contractible Contracts.

Published in:

Econometrica, 2012, v. 80, n. 1, p. 363, doi. 10.3982/ECTA8375

By:

Peters, Michael;
Szentes, Balázs

Publication type:

Article

A note on hereditarily Π01- and Σ01-complete sets of sentences.

Published in:

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

By:

SPERANSKI, STANISLAV O.

Publication type:

Article

Effective properties of Marker's extensions.

Published in:

Journal of Logic & Computation, 2013, v. 23, n. 6, p. 1335, doi. 10.1093/logcom/ext041

By:

Soskov, Ivan N.

Publication type:

Article

Expressible preferential logics.

Published in:

Journal of Logic & Computation, 2012, v. 22, n. 5, p. 1125, doi. 10.1093/logcom/exr015

By:

Ferreira, Francicleber Martins;
Martins, Ana Teresa

Publication type:

Article

Properties of the jump classes.

Published in:

Journal of Logic & Computation, 2012, v. 22, n. 4, p. 845, doi. 10.1093/logcom/exq047

By:

Lewis, Andrew E. M.

Publication type:

Article

The Uniformity Principle for Σ-definability.

Published in:

Journal of Logic & Computation, 2009, v. 19, n. 1, p. 159, doi. 10.1093/logcom/exn033

By:

KOROVINA, MARGARITA;
KUDINOV, OLEG

Publication type:

Article

The Expressivity of Quantifying over Regions.

Published in:

Journal of Logic & Computation, 2006, v. 16, n. 6, p. 891, doi. 10.1093/logcom/exl020

By:

Davis, Ernest

Publication type:

Article

Expressive Power and Complexity of a Logic with Quantifiers that Count Proportions of Sets.

Published in:

Journal of Logic & Computation, 2006, v. 16, n. 6, p. 817, doi. 10.1093/logcom/exl011

By:

Arratia, Argimiro;
Ortiz, Carlos E.

Publication type:

Article

A Foundation for Metareasoning Part II: The Model Theory.

Published in:

Journal of Logic & Computation, 2002, v. 12, n. 3, p. 345, doi. 10.1093/logcom/12.3.345

By:

Criscuolo, Giovanni;
Giunchiglia, Fausto;
Serafini, Luciano

Publication type:

Article

Gödel's second incompleteness theorem for Σn-definable theories.

Published in:

Logic Journal of the IGPL, 2018, v. 26, n. 2, p. 255, doi. 10.1093/jigpal/jzx061

By:

CHAO, CONDEN;
SERAJI, PAYAM

Publication type:

Article

Causality in Bounded Petri Nets is MSO Definable.

Published in:

Logic Journal of the IGPL, 2017, v. 25, n. 2, p. 269

By:

de Oliveira Oliveira, Mateus

Publication type:

Article

Local Goldblatt—Thomason theorem.

Published in:

Logic Journal of the IGPL, 2015, v. 23, n. 6, p. 861, doi. 10.1093/jigpal/jzv036

By:

ZOLIN, EVGENY

Publication type:

Article

A combinatorial version of the Svenonius theorem on definability.

Published in:

Logic Journal of the IGPL, 2015, v. 23, n. 6, p. 966, doi. 10.1093/jigpal/jzv038

By:

SEMENOV, A. L.;
SOPRUNOV, S. F.

Publication type:

Article

EMSO-Definability of Some Languages with Event Structures.

Published in:

Journal of Mathematical Sciences, 2005, v. 130, n. 2, p. 4624, doi. 10.1007/s10958-005-0357-y

By:

Shahbazyan, K.;
Shoukourian, Yu.

Publication type:

Article

On the Mutual Definability of the Notions of Entailment, Rejection, and Inconsistency.

Published in:

Axioms (2075-1680), 2016, v. 5, n. 2, p. 15, doi. 10.3390/axioms5020015

By:

Wybraniec-Skardowska, Urszula

Publication type:

Article

Definition Inclosed: A Reply to Zhong.

Published in:

Australasian Journal of Philosophy, 2012, v. 90, n. 4, p. 789, doi. 10.1080/00048402.2012.683014

By:

Priest, Graham

Publication type:

Article

Definability and the Structure of Logical Paradoxes.

Published in:

Australasian Journal of Philosophy, 2012, v. 90, n. 4, p. 779, doi. 10.1080/00048402.2011.628324

By:

Zhong, Haixia

Publication type:

Article

What Are Structural Properties?

Published in:

Philosophia Mathematica, 2018, v. 26, n. 3, p. 295, doi. 10.1093/philmat/nkx011

By:

Korbmacher, Johannes;
Schiemer, Georg

Publication type:

Article

Taming the Indefinitely Extensible Definable Universe.

Published in:

Philosophia Mathematica, 2014, v. 22, n. 2, p. 198, doi. 10.1093/philmat/nkt044

By:

Luna, Laureano;
Taylor, William

Publication type:

Article

Σ-Definability in Hereditarily Finite Superstructures and Computable Analysis.

Published in:

Siberian Mathematical Journal, 2018, v. 59, n. 5, p. 763, doi. 10.1134/S0037446618050026

By:

Aleksandrova, S. A.

Publication type:

Article

On the Relation of Σ-Reducibility Between Admissible Sets.

Published in:

Siberian Mathematical Journal, 2004, v. 45, n. 3, p. 522, doi. 10.1023/B:SIMJ.0000028617.17064.08

By:

Morozov, A. S.

Publication type:

Article

DENSE MORPHISMS OF MONADS.

Published in:

Theory & Applications of Categories, 2007, v. 18, n. 1, p. 372

By:

Panagis Karazeris;
velebil, Jiří

Publication type:

Article

AN EQUATIONAL AXIOMATIZATION OF POST ALMOST DISTRIBUTIVE LATTICES.

Published in:

Discussiones Mathematicae: General Algebra & Applications, 2016, v. 36, n. 1, p. 5, doi. 10.7151/dmgaa.1246

By:

KAKUMANU, NAVEEN KUMAR;
KAR PING SHUM

Publication type:

Article

Bounds and definability in polynomial rings.

Published in:

Quarterly Journal of Mathematics, 2005, v. 56, n. 3, p. 263, doi. 10.1093/qmath/hah048

By:

ASCHENBRENNER, MATTHIAS

Publication type:

Article

TYPE-DEFINABILITY, COMPACT LIE GROUPS, AND o-MINIMALITY.

Published in:

Journal of Mathematical Logic, 2004, v. 4, n. 2, p. 147, doi. 10.1142/S0219061304000346

By:

PILLAY, ANAND

Publication type:

Article

On the Definability of the Double Jump in the Computably Enumerable Sets.

Published in:

Journal of Mathematical Logic, 2002, v. 2, n. 2, p. 261, doi. 10.1142/S0219061302000151

By:

Cholak, Peter A.;
Harrington, Leo A.

Publication type:

Article

ITERATING SYMMETRIC EXTENSIONS.

Published in:

Journal of Symbolic Logic, 2019, v. 84, n. 1, p. 123, doi. 10.1017/jsl.2018.73

By:

KARAGILA, ASAF

Publication type:

Article

SOME MODEL THEORY OF GUARDED NEGATION.

Published in:

Journal of Symbolic Logic, 2018, v. 83, n. 4, p. 1307, doi. 10.1017/jsl.2018.64

By:

BÁRÁNY, VINCE;
BENEDIKT, MICHAEL;
CATE, BALDER TEN

Publication type:

Article

MINIMAL AXIOMATIC FRAMEWORKS FOR DEFINABLE HYPERREALS WITH TRANSFER.

Published in:

Journal of Symbolic Logic, 2018, v. 83, n. 1, p. 385, doi. 10.1017/jsl.2017.48

By:

HERZBERG, FREDERIK S.;
KANOVEI, VLADIMIR;
KATZ, MIKHAIL;
LYUBETSKY, VASSILY

Publication type:

Article

DEFINABILITY OF DERIVATIONS IN THE REDUCTS OF DIFFERENTIALLY CLOSED FIELDS.

Published in:

Journal of Symbolic Logic, 2017, v. 82, n. 4, p. 1252, doi. 10.1017/jsl.2017.54

By:

ASLANYAN, VAHAGN

Publication type:

Article

DEFINABLE TOPOLOGICAL DYNAMICS.

Published in:

Journal of Symbolic Logic, 2017, v. 82, n. 3, p. 1080, doi. 10.1017/jsl.2017.32

By:

KRUPIŃSKI, KRZYSZTOF

Publication type:

Article

Σ1(κ)-DEFINABLE SUBSETS OF H(κ+).

Published in:

Journal of Symbolic Logic, 2017, v. 82, n. 3, p. 1106, doi. 10.1017/jsl.2017.36

By:

LÜCKE, PHILIPP;
SCHINDLER, RALF;
SCHLICHT, PHILIPP

Publication type:

Article

EQUIVALENCE RELATIONS WHICH ARE BOREL SOMEWHERE.

Published in:

Journal of Symbolic Logic, 2017, v. 82, n. 3, p. 893, doi. 10.1017/jsl.2017.22

By:

CHAN, WILLIAM

Publication type:

Article