Works matching DE "DEFINABILITY theory (Mathematical logic)"
Results: 146
Definability in the language of functional equations of a countable-valued logic.
- Published in:
- Discrete Mathematics & Applications, 2013, v. 23, n. 5/6, p. 451, doi. 10.1515/dma-2013-0031
- By:
- 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:
- 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:
- 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:
- 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:
- 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:
- 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:
- 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:
- 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:
- 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:
- 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:
- 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:
- 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:
- 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:
- Publication type:
- Article
TAIL ASYMPTOTICS FOR A RANDOM SIGN LINDLEY RECURSION.
- Published in:
- Journal of Applied Probability, 2010, v. 47, n. 1, p. 72, doi. 10.1239/jap/1269610817
- By:
- 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:
- 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:
- 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:
- Publication type:
- Article
ON THE DEFINABILITY OF LEŚNIEWSKI'S COPULA 'IS' IN SOME ONTOLOGY-LIKE THEORIES.
- Published in:
- Bulletin of the Section of Logic, 2018, v. 47, n. 4, p. 233, doi. 10.18778/0138-0680.47.4.02
- By:
- 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:
- Publication type:
- Article
DESCRIPTIVE COMPLEXITY OF FINITE ABELIAN GROUPS.
- Published in:
- International Journal of Algebra & Computation, 2010, v. 20, n. 8, p. 1087, doi. 10.1142/S0218196710006047
- By:
- Publication type:
- Article
ALGEBRAIC CHARACTERIZATION OF LOGICALLY DEFINED TREE LANGUAGES.
- Published in:
- International Journal of Algebra & Computation, 2010, v. 20, n. 2, p. 195, doi. 10.1142/S0218196710005595
- By:
- Publication type:
- Article
RECURSIVE FORECAST COMBINATION FOR DEPENDENT HETEROGENEOUS DATA.
- Published in:
- Econometric Theory, 2010, v. 26, n. 2, p. 598, doi. 10.1017/S0266466609100105
- By:
- Publication type:
- Article
What Are Structural Properties?
- Published in:
- Philosophia Mathematica, 2018, v. 26, n. 3, p. 295, doi. 10.1093/philmat/nkx011
- By:
- 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:
- 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:
- 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:
- Publication type:
- Article
Jump Inversions of Algebraic Structures and the Σ-Definability.
- Published in:
- Algebra & Logic, 2018, v. 57, n. 2, p. 161, doi. 10.1007/s10469-018-9488-3
- By:
- Publication type:
- Article
Definability of Linear Orders over Negative Equivalences.
- Published in:
- Algebra & Logic, 2016, v. 55, n. 1, p. 24, doi. 10.1007/s10469-016-9373-x
- By:
- Publication type:
- Article
Isomorphisms and Algorithmic Properties of Structures with Two Equivalences.
- Published in:
- Algebra & Logic, 2016, v. 55, n. 1, p. 50, doi. 10.1007/s10469-016-9375-8
- By:
- Publication type:
- Article
Restricted interpolation over modal logic S4.
- Published in:
- Algebra & Logic, 2013, v. 52, n. 4, p. 308, doi. 10.1007/s10469-013-9244-7
- By:
- Publication type:
- Article
The projective Beth property in well-composed logics.
- Published in:
- Algebra & Logic, 2013, v. 52, n. 2, p. 116, doi. 10.1007/s10469-013-9227-8
- By:
- Publication type:
- Article
Σ-Uniform structures and Σ-functions. I.
- Published in:
- Algebra & Logic, 2011, v. 50, n. 5, p. 447, doi. 10.1007/s10469-011-9155-4
- By:
- Publication type:
- Article
Interpolation and the projective Beth property in well-composed logics.
- Published in:
- Algebra & Logic, 2012, v. 51, n. 2, p. 163, doi. 10.1007/s10469-012-9180-y
- By:
- Publication type:
- Article
Definability of closure operations in the h-quasiorder of labeled forests.
- Published in:
- Algebra & Logic, 2010, v. 49, n. 2, p. 120, doi. 10.1007/s10469-010-9084-7
- By:
- Publication type:
- Article
Σ-Definability of countable structures over real numbers, complex numbers, and quaternions.
- Published in:
- Algebra & Logic, 2008, v. 47, n. 3, p. 193, doi. 10.1007/s10469-008-9009-x
- By:
- Publication type:
- Article
Isomorphisms, definable relations, and Scott families of class 2 nilpotent groups.
- Published in:
- Algebra & Logic, 2007, v. 46, n. 4, p. 281, doi. 10.1007/s10469-007-0027-x
- By:
- Publication type:
- Article
Computing test rank for a free solvable group.
- Published in:
- Algebra & Logic, 2006, v. 45, n. 4, p. 254, doi. 10.1007/s10469-006-0023-6
- By:
- Publication type:
- Article
Beth’s Theorem and Deflationism.
- Published in:
- Mind, 2009, v. 118, n. 472, p. 1061, doi. 10.1093/mind/fzp132
- By:
- Publication type:
- Article
Beth’s Theorem and Deflationism — Reply to Bays.
- Published in:
- Mind, 2009, v. 118, n. 472, p. 1075, doi. 10.1093/mind/fzp133
- By:
- Publication type:
- Article
On Generalization of Definitional Equivalence to Non-Disjoint Languages.
- Published in:
- Journal of Philosophical Logic, 2019, v. 48, n. 4, p. 709, doi. 10.1007/s10992-018-9491-0
- By:
- 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:
- 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:
- 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:
- 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:
- Publication type:
- Article
Positive predicate structures for continuous data.
- Published in:
- Mathematical Structures in Computer Science, 2015, v. 25, n. 8, p. 1669, doi. 10.1017/S0960129513000315
- By:
- 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:
- 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:
- 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:
- 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:
- Publication type:
- Article