Downward Löwenheim-Skolem Theorem and interpolation in logics with constructors.
- Published in:
- Journal of Logic & Computation, 2017, v. 27, n. 6, p. 1717, doi. 10.1093/logcom/exv018
- By:
- Publication type:
- Article
Works matching DE "SKOLEM function"
Results: 29
1
2
From conventional to institution-independent logic programming.
- Published in:
- Journal of Logic & Computation, 2017, v. 27, n. 6, p. 1679, doi. 10.1093/logcom/exv021
- By:
- Publication type:
- Article
3
A multi-focused proof system isomorphic to expansion proofs.
- Published in:
- Journal of Logic & Computation, 2016, v. 26, n. 2, p. 577, doi. 10.1093/logcom/exu030
- By:
- Publication type:
- Article
4
Constructing quasiminimal structures.
- Published in:
- Mathematical Logic Quarterly, 2017, v. 63, n. 5, p. 415, doi. 10.1002/malq.201600071
- By:
- Publication type:
- Article
5
Interpreting weak Kőnig's lemma in theories of nonstandard arithmetic.
- Published in:
- Mathematical Logic Quarterly, 2017, v. 63, n. 1/2, p. 114, doi. 10.1002/malq.201600066
- By:
- Publication type:
- Article
6
SKOLEM DIFFERENCE MEAN LABELING IN DUPLICATE GRAPHS OF SOME PATH RELATED GRAPHS.
- Published in:
- South East Asian Journal of Mathematics & Mathematical Sciences, 2018, v. 14, n. 3, p. 63
- By:
- Publication type:
- Article
7
On Skolem Functions, and Arbitrary Objects. An Analysis of a Kit Fine's Mysterious Claim.
- Published in:
- Teorema, 2014, v. 33, n. 2, p. 137
- By:
- Publication type:
- Article
8
Non-Existence of Skolem Mean Labeling for Five Star.
- Published in:
- International Journal of Mathematical Combinatorics, 2017, v. 2, p. 129
- By:
- Publication type:
- Article
9
Skolem Difference Odd Mean Labeling For Some Simple Graphs.
- Published in:
- International Journal of Mathematical Combinatorics, 2015, v. 3, p. 88
- By:
- Publication type:
- Article
10
Skolem Difference Odd Mean Labeling of H-Graphs.
- Published in:
- International Journal of Mathematical Combinatorics, 2015, v. 1, p. 96
- By:
- Publication type:
- Article
11
Some results on skolem odd difference mean labeling.
- Published in:
- Proyecciones - Journal of Mathematics, 2016, v. 35, n. 4, p. 405, doi. 10.4067/S0716-09172016000400004
- By:
- Publication type:
- Article
12
Strong Skolem starters.
- Published in:
- Journal of Combinatorial Designs, 2019, v. 27, n. 1, p. 5, doi. 10.1002/jcd.21633
- By:
- Publication type:
- Article
13
Optimal cyclic quaternary constant‐weight codes of weight three.
- Published in:
- Journal of Combinatorial Designs, 2018, v. 26, n. 4, p. 174, doi. 10.1002/jcd.21568
- By:
- Publication type:
- Article
14
ENAYAT MODELS OF PEANO ARITHMETIC.
- Published in:
- Journal of Symbolic Logic, 2018, v. 83, n. 4, p. 1501, doi. 10.1017/jsl.2018.29
- By:
- Publication type:
- Article
15
DECIDING THE CHROMATIC NUMBERS OF ALGEBRAIC HYPERGRAPHS.
- Published in:
- Journal of Symbolic Logic, 2018, v. 83, n. 1, p. 128, doi. 10.1017/jsl.2017.47
- By:
- Publication type:
- Article
16
THE DEFINABLE (<italic>P</italic>, <italic>Q</italic>)-THEOREM FOR DISTAL THEORIES.
- Published in:
- Journal of Symbolic Logic, 2018, v. 83, n. 1, p. 123, doi. 10.1017/jsl.2016.72
- By:
- Publication type:
- Article
17
THE HERBRAND FUNCTIONAL INTERPRETATION OF THE DOUBLE NEGATION SHIFT.
- Published in:
- Journal of Symbolic Logic, 2017, v. 82, n. 2, p. 590, doi. 10.1017/jsl.2017.8
- By:
- Publication type:
- Article
18
A P-MINIMAL STRUCTURE WITHOUT DEFINABLE SKOLEM FUNCTIONS.
- Published in:
- Journal of Symbolic Logic, 2017, v. 82, n. 2, p. 778, doi. 10.1017/jsl.2016.58
- By:
- Publication type:
- Article
19
TOPOLOGICAL CELL DECOMPOSITION AND DIMENSION THEORY IN P-MINIMAL FIELDS.
- Published in:
- Journal of Symbolic Logic, 2017, v. 82, n. 1, p. 347, doi. 10.1017/jsl.2016.45
- By:
- Publication type:
- Article
20
CELL DECOMPOSITION AND CLASSIFICATION OF DEFINABLE SETS IN p-OPTIMAL FIELDS.
- Published in:
- Journal of Symbolic Logic, 2017, v. 82, n. 1, p. 120, doi. 10.1017/jsl.2015.79
- By:
- Publication type:
- Article
21
INTEGRATION AND CELL DECOMPOSITION IN P-MINIMAL STRUCTURES.
- Published in:
- Journal of Symbolic Logic, 2016, v. 81, n. 3, p. 1124, doi. 10.1017/jsl.2015.38
- By:
- Publication type:
- Article
22
A Generalization of the Problem of Mariusz Meszka.
- Published in:
- Graphs & Combinatorics, 2016, v. 32, n. 1, p. 333, doi. 10.1007/s00373-015-1563-0
- By:
- Publication type:
- Article
23
On (k, d)-Hooked Skolem Graceful Graphs.
- Published in:
- Journal of Combinatorics, Information & System Sciences, 2016, v. 41, n. 1-3, p. 7
- By:
- Publication type:
- Article
24
First-Order Logic with Inductive Definitions for Model-Based Problem Solving.
- Published in:
- AI Magazine, 2016, v. 37, n. 3, p. 69, doi. 10.1609/aimag.v37i3.2679
- By:
- Publication type:
- Article
25
SKOLEM DIFFERENCE LUCAS MEAN LABELLING FOR SOME SPECIAL GRAPHS.
- Published in:
- Bulletin of Pure & Applied Sciences-Mathematics, 2018, v. 37E, n. 2, p. 383, doi. 10.5958/2320-3226.2018.00041.3
- By:
- Publication type:
- Article
26
Skolemization in Unranked Logics.
- Published in:
- Bulletin of Tbilisi International Center of Mathematics & Informatics, 2018, v. 22, n. 1, p. 3
- By:
- Publication type:
- Article
27
Skolem-Mahler-Lech type theorems and Picard-Vessiot theory.
- Published in:
- Journal of the European Mathematical Society (EMS Publishing), 2015, v. 17, n. 3, p. 523, doi. 10.4171/JEMS/509
- By:
- Publication type:
- Article
28
A linear algebraic approach to datalog evaluation.
- Published in:
- Theory & Practice of Logic Programming, 2017, v. 17, n. 3, p. 244, doi. 10.1017/S1471068417000023
- By:
- Publication type:
- Article
29
Definable choice for a class of weakly o-minimal theories.
- Published in:
- Archive for Mathematical Logic, 2016, v. 55, n. 5/6, p. 735, doi. 10.1007/s00153-016-0490-y
- By:
- Publication type:
- Article