Found: 140
Select item for more details and to access through your institution.
A TOPOLOGICAL APPROACH TO UNDEFINABILITY IN ALGEBRAIC EXTENSIONS OF $\mathbb {Q}$.
- Published in:
- Bulletin of Symbolic Logic, 2023, v. 29, n. 4, p. 626, doi. 10.1017/bsl.2023.37
- By:
- Publication type:
- Article
Ordinal Definability and Recursion Theory: The Cabal Seminar, Volume III.
- Published in:
- 2023
- By:
- Publication type:
- Book Review
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
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
ITERATING SYMMETRIC EXTENSIONS.
- Published in:
- Journal of Symbolic Logic, 2019, v. 84, n. 1, p. 123, doi. 10.1017/jsl.2018.73
- By:
- 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:
- 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
What Are Structural Properties?
- Published in:
- Philosophia Mathematica, 2018, v. 26, n. 3, p. 295, doi. 10.1093/philmat/nkx011
- 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 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
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
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:
- Publication type:
- Article
Gödel's second incompleteness theorem for Σ<sub>n</sub>-definable theories.
- Published in:
- Logic Journal of the IGPL, 2018, v. 26, n. 2, p. 255, doi. 10.1093/jigpal/jzx061
- By:
- 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:
- 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:
- 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:
- 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:
- 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:
- 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:
- 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:
- 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
EQUIVALENCES FOR TRUTH PREDICATES.
- Published in:
- Review of Symbolic Logic, 2017, v. 10, n. 2, p. 322, doi. 10.1017/S1755020316000435
- By:
- 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:
- 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:
- 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:
- 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:
- 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:
- 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:
- Publication type:
- Article
Ordinal Definability and Recursion Theory: The Cabal Seminar.
- Published in:
- 2016
- By:
- Publication type:
- Book Review
A note on hereditarily Π<sup>0</sup><sub>1</sub>- and Σ<sup>0</sup><sub>1</sub>-complete sets of sentences.
- Published in:
- Journal of Logic & Computation, 2016, v. 26, n. 5, p. 1729, doi. 10.1093/logcom/exu066
- By:
- 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:
- 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:
- 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
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
Introduction.
- Published in:
- Princeton Annals of Mathematics Studies, 2016, n. 192, p. 1
- By:
- Publication type:
- Article
Preliminaries.
- Published in:
- Princeton Annals of Mathematics Studies, 2016, n. 192, p. 8
- By:
- Publication type:
- Article
The space V of stably dominated types.
- Published in:
- Princeton Annals of Mathematics Studies, 2016, n. 192, p. 37
- By:
- Publication type:
- Article
Γ-internal spaces.
- Published in:
- Princeton Annals of Mathematics Studies, 2016, n. 192, p. 76
- By:
- Publication type:
- Article
Curves.
- Published in:
- Princeton Annals of Mathematics Studies, 2016, n. 192, p. 92
- By:
- Publication type:
- Article
The smooth case.
- Published in:
- Princeton Annals of Mathematics Studies, 2016, n. 192, p. 177
- By:
- 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:
- Publication type:
- Article
On Reliability of the Meta-Mathematical Notions Defined by Gödel's Coding Method.
- Published in:
- Teorema, 2016, v. 35, n. 1, p. 5
- By:
- Publication type:
- Article
THE ${\bf{\Sigma }}_2^1$ COUNTERPARTS TO STATEMENTS THAT ARE EQUIVALENT TO THE CONTINUUM HYPOTHESIS.
- Published in:
- Journal of Symbolic Logic, 2015, v. 80, n. 4, p. 1075, doi. 10.1017/jsl.2014.20
- By:
- Publication type:
- Article
DEFINABLE HENSELIAN VALUATION RINGS.
- Published in:
- Journal of Symbolic Logic, 2015, v. 80, n. 4, p. 1260, doi. 10.1017/jsl.2014.52
- By:
- 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:
- 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:
- 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
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:
- 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