Works matching DE "DEFINABILITY theory (Mathematical logic)"

Results: 147

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

A non-archimedean definable Chow theorem.

Published in:

Journal of the European Mathematical Society (EMS Publishing), 2025, v. 27, n. 4, p. 1407, doi. 10.4171/JEMS/1394

By:

Oswal, Abhishek

Publication type:

Article

Géométries relatives.

Published in:

Journal of the European Mathematical Society (EMS Publishing), 2015, v. 17, n. 2, p. 229, doi. 10.4171/JEMS/502

By:

Blossier, Thomas;
Martin-Pizarro, Amador;
Wagner, Frank O.

Publication type:

Article

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

Σ-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

Generalised Bohr compactification and model-theoretic connected components.

Published in:

Mathematical Proceedings of the Cambridge Philosophical Society, 2017, v. 163, n. 2, p. 219, doi. 10.1017/S0305004116000967

By:

KRUPIŃSKI, KRZYSZTOF;
PILLAY, ANAND

Publication type:

Article

Universal models and definability.

Published in:

Mathematical Proceedings of the Cambridge Philosophical Society, 2012, v. 152, n. 2, p. 279, doi. 10.1017/S0305004111000624

By:

CARAMELLO, OLIVIA

Publication type:

Article

SU ALCUNI CONTRIBUTI DI ALESSANDRO PADOA E MARIO PIERI AI FONDAMENTI DELLA GEOMETRIA.

Published in:

Epistemologia, 2011, v. 34, n. 1, p. 89

By:

Borga, Marco

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

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

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

Some Definability Results in Abstract Kummer Theory.

Published in:

IMRN: International Mathematics Research Notices, 2014, v. 2014, n. 14, p. 3975, doi. 10.1093/imrn/rnt057

By:

Bays, Martin;
Gavrilovich, Misha;
Hils, Martin

Publication type:

Article

INFINITARY PROPOSITIONAL RELEVANT LANGUAGES WITH ABSURDITY.

Published in:

Review of Symbolic Logic, 2017, v. 10, n. 4, p. 663, doi. 10.1017/S1755020317000132

By:

BADIA, GUILLERMO

Publication type:

Article

EQUIVALENCES FOR TRUTH PREDICATES.

Published in:

Review of Symbolic Logic, 2017, v. 10, n. 2, p. 322, doi. 10.1017/S1755020316000435

By:

NICOLAI, CARLO

Publication type:

Article

THE PREHISTORY OF THE SUBSYSTEMS OF SECOND-ORDER ARITHMETIC.

Published in:

Review of Symbolic Logic, 2017, v. 10, n. 2, p. 357, doi. 10.1017/S1755020316000411

By:

DEAN, WALTER;
WALSH, SEAN

Publication type:

Article

SOME OBSERVATIONS ON TRUTH HIERARCHIES.

Published in:

Review of Symbolic Logic, 2014, v. 7, n. 1, p. 1, doi. 10.1017/S1755020313000361

By:

WELCH, P. D.

Publication type:

Article

DEFINING KNOWLEDGE IN TERMS OF BELIEF: THE MODAL LOGIC PERSPECTIVE.

Published in:

Review of Symbolic Logic, 2009, v. 2, n. 3, p. 469, doi. 10.1017/S1755020309990141

By:

Halpern, Joseph Y.;
Samet, Dov;
Segev, Ella

Publication type:

Article

ON DEFINABILITY IN MULTIMODAL LOGIC.

Published in:

Review of Symbolic Logic, 2009, v. 2, n. 3, p. 451, doi. 10.1017/S175502030999013X

By:

Halpern, Joseph Y.;
Samet, Dov;
Segev, Ella

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

On Equational Definability of Function Classes.

Published in:

Journal of Multiple-Valued Logic & Soft Computing, 2015, v. 24, n. 1-4, p. 203

By:

COUCEIRO, MIGUEL;
LEHTONEN, ERKKO;
WALDHAUSER, TAMÁS

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

Forcing in Łukasiewicz Predicate Logic.

Published in:

Studia Logica, 2008, v. 89, n. 1, p. 111, doi. 10.1007/s11225-008-9120-y

By:

Antonio Nola;
George Georgescu;
Luca Spada

Publication type:

Article

HIGHER RANDOMNESS AND GENERICITY.

Published in:

Forum of Mathematics, Sigma, 2017, v. 5, p. 1, doi. 10.1017/fms.2017.27

By:

GREENBERG, nNOAM;
MONIN, BENOIT

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

From a Zoo to a Zoology: Towards a General Theory of Graph Polynomials.

Published in:

Theory of Computing Systems, 2008, v. 43, n. 3/4, p. 542, doi. 10.1007/s00224-007-9022-9

By:

Makowsky, J. A.

Publication type:

Article

Generalization of some properties of relations in the context of functional temporal×modal logic.

Published in:

International Journal of Computer Mathematics, 2008, v. 85, n. 3/4, p. 371, doi. 10.1080/00207160701210141

By:

Burrieza, A.;
De Guzmán, I.P.;
Muñoz-Velasco, E.

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

Equational definability of (complementary) central elements.

Published in:

International Journal of Algebra & Computation, 2016, v. 26, n. 3, p. 509, doi. 10.1142/S0218196716500211

By:

Badano, Mariana V.;
Vaggione, Diego J.

Publication type:

Article

Beth definability, interpolation and language splitting.

Published in:

Synthese, 2011, v. 179, n. 2, p. 211, doi. 10.1007/s11229-010-9778-3

By:

Parikh, Rohit

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

Σ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

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