Works matching DE "DEFINABILITY theory (Mathematical logic)"

Results: 147

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

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

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

Jump inversions of algebraic structures and Σ‐definability.

Published in:

Mathematical Logic Quarterly, 2019, v. 65, n. 1, p. 37, doi. 10.1002/malq.201800015

By:

Faizrahmanov, Marat;
Kach, Asher;
Kalimullin, Iskander;
Montalbán, Antonio;
Puzarenko, Vadim

Publication type:

Article

Definable topological dynamics and real Lie groups.

Published in:

Mathematical Logic Quarterly, 2015, v. 61, n. 1/2, p. 45, doi. 10.1002/malq.201400033

By:

Jagiella, Grzegorz

Publication type:

Article

Definable nilpotent and soluble envelopes in groups without the independence property.

Published in:

Mathematical Logic Quarterly, 2013, v. 59, n. 3, p. 201, doi. 10.1002/malq.201200043

By:

de Aldama, Ricardo

Publication type:

Article

A remark on the definability of the Fitting subgroup and the soluble radical.

Published in:

Mathematical Logic Quarterly, 2013, v. 59, n. 1/2, p. 62, doi. 10.1002/malq.201200038

By:

Houcine, Abderezak Ould

Publication type:

Article

Definability of the ring of integers in some infinite algebraic extensions of the rationals.

Published in:

Mathematical Logic Quarterly, 2012, v. 58, n. 4/5, p. 317, doi. 10.1002/malq.201110020

By:

Fukuzaki, Kenji

Publication type:

Article

On Spector's bar recursion.

Published in:

Mathematical Logic Quarterly, 2012, v. 58, n. 4/5, p. 356, doi. 10.1002/malq.201100106

By:

Oliva, Paulo;
Powell, Thomas

Publication type:

Article

Models of expansions of.

Published in:

Mathematical Logic Quarterly, 2011, v. 57, n. 4, p. 341, doi. 10.1002/malq.200910129

By:

Shelah, Saharon

Publication type:

Article

Definability and nondefinability results for certain o-minimal structures.

Published in:

Mathematical Logic Quarterly, 2010, v. 56, n. 5, p. 503, doi. 10.1002/malq.200910105

By:

Sfouli, Hassan

Publication type:

Article

Analyzing completeness of axiomatic functional systems for temporal × modal logics.

Published in:

Mathematical Logic Quarterly, 2010, v. 56, n. 1, p. 89, doi. 10.1002/malq.200810038

By:

Burrieza, Alfredo;
de Guzmán, Inmaculada P.;
Muñoz-Velasco, Emilio

Publication type:

Article

Addendum to “A definable nonstandard enlargement”.

Published in:

Mathematical Logic Quarterly, 2008, v. 54, n. 6, p. 666, doi. 10.1002/malq.200810002

By:

Herzberg, Frederik

Publication type:

Article

On Σ-definability without equality over the real numbers.

Published in:

Mathematical Logic Quarterly, 2008, v. 54, n. 5, p. 535, doi. 10.1002/malq.200710064

By:

Morozov, Andrei S.;
Korovina, Margarita V.

Publication type:

Article

A note on the undecidability of the reachability problem for o-minimal dynamical systems.

Published in:

Mathematical Logic Quarterly, 2006, v. 52, n. 2, p. 165, doi. 10.1002/malq.200510024

By:

Brihaye, Thomas

Publication type:

Article

Mutual definability does not imply definitional equivalence, a simple example.

Published in:

Mathematical Logic Quarterly, 2005, v. 51, n. 6, p. 591, doi. 10.1002/malq.200410051

By:

Andréka, Hajnal;
Madarász, Judit X.;
Németi, István

Publication type:

Article

A remark on divisibility of definable groups.

Published in:

Mathematical Logic Quarterly, 2005, v. 51, n. 6, p. 639, doi. 10.1002/malq.200510014

By:

Edmundo, Mário J.

Publication type:

Article

Definability degrees.

Published in:

Mathematical Logic Quarterly, 2005, v. 51, n. 5, p. 448, doi. 10.1002/malq.200510002

By:

Friedman, Sy D.

Publication type:

Article

The minimal complementation property above 0′.

Published in:

Mathematical Logic Quarterly, 2005, v. 51, n. 5, p. 470, doi. 10.1002/malq.200410044

By:

Lewis, Andrew E. M.

Publication type:

Article

Ultratopologies.

Published in:

Mathematical Logic Quarterly, 2004, v. 50, n. 6, p. 603, doi. 10.1002/malq.200310123

By:

Sági, Gábor;
Gerlits, János

Publication type:

Article

Expansions of ordered fields without definable gaps.

Published in:

Mathematical Logic Quarterly, 2003, v. 49, n. 1, p. 72, doi. 10.1002/malq.200310005

By:

Eivazloo, Jafar S.;
Moniri, Mojtaba

Publication type:

Article

On translations of complete first order theories.

Published in:

Mathematical Logic Quarterly, 2003, v. 49, n. 1, p. 87, doi. 10.1002/malq.200310007

By:

Bagheri, Seyed Mohammad

Publication type:

Article

Definability of Geometric Properties in Algebraically Closed Fields.

Published in:

Mathematical Logic Quarterly, 1999, v. 45, n. 4, p. 533, doi. 10.1002/malq.19990450411

By:

Chapuis, Olivier;
Koiran, Pascal

Publication type:

Article

Extending Partial Orders on o-Minimal Structures to Definable Total Orders.

Published in:

Mathematical Logic Quarterly, 1997, v. 43, n. 4, p. 456, doi. 10.1002/malq.19970430403

By:

Macpherson, Dugald;
Steinhorn, Charles

Publication type:

Article

Regular Subgraphs in Graphs and Rooted Graphs and Definability in Monadic Second - Order Logic.

Published in:

Mathematical Logic Quarterly, 1997, v. 43, n. 1, p. 1, doi. 10.1002/malq.19970430102

By:

Stewart, Iain A.

Publication type:

Article

On Σ<sub>1</sub>-definable Functions Provably Total in I ∏.

Published in:

Mathematical Logic Quarterly, 1995, v. 41, n. 1, p. 135, doi. 10.1002/malq.19950410111

By:

Bigorajska, Teresa

Publication type:

Article

Hierarchies of Partially Ordered Connectives and Quantifiers.

Published in:

Mathematical Logic Quarterly, 1993, v. 39, n. 1, p. 287, doi. 10.1002/malq.19930390134

By:

Krynicki, Michał

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

The Expressive Force of Some Fragments of Intuitionistic Propositional Logic with Regard to Kripke Frames.

Published in:

Mathematical Logic Quarterly, 1991, v. 37, n. 23/24, p. 357, doi. 10.1002/malq.19910372303

By:

Rodenburg, P. H.

Publication type:

Article

A Meaningful Mathematical First Order Language: Partial Peano Algebras and Rule Systems.

Published in:

Mathematical Logic Quarterly, 1989, v. 35, n. 2, p. 155, doi. 10.1002/malq.19890350205

By:

Zahn, Peter

Publication type:

Article

Orderings in Exponential Fields of Term Defined Functions.

Published in:

Mathematical Logic Quarterly, 1989, v. 35, n. 2, p. 187, doi. 10.1002/malq.19890350209

By:

Wolter, Helmut

Publication type:

Article

On Definability of Relations by Only One Relation.

Published in:

Mathematical Logic Quarterly, 1986, v. 32, n. 25-30, p. 457, doi. 10.1002/malq.19860322512

By:

Pazdyka, Paweł

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

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

COMPUTABLE FUNCTORS AND EFFECTIVE INTERPRETABILITY.

Published in:

Journal of Symbolic Logic, 2017, v. 82, n. 1, p. 77, doi. 10.1017/jsl.2016.12

By:

Harrison-Trainor, Matthew;
Melnikov, Alexander;
Miller, Russell;
Montalbán, Antonio

Publication type:

Article

DEFINABILITY OF SATISFACTION IN OUTER MODELS.

Published in:

Journal of Symbolic Logic, 2016, v. 81, n. 3, p. 1047, doi. 10.1017/jsl.2016.33

By:

FRIEDMAN, SY-DAVID;
HONZIK, RADEK

Publication type:

Article

Beth’s Theorem and Deflationism.

Published in:

Mind (0026-4423), 2009, v. 118, n. 472, p. 1061, doi. 10.1093/mind/fzp132

By:

Bays, Timothy

Publication type:

Article

Beth’s Theorem and Deflationism — Reply to Bays.

Published in:

Mind (0026-4423), 2009, v. 118, n. 472, p. 1075, doi. 10.1093/mind/fzp133

By:

Ketland, Jeffrey

Publication type:

Article

Hobson's Conception of Definable Numbers.

Published in:

History & Philosophy of Logic, 2020, v. 41, n. 2, p. 128, doi. 10.1080/01445340.2020.1731784

By:

Fan, Zhao

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