An alternative Gentzenisation of.
- Published in:
- Mathematical Logic Quarterly, 2016, v. 62, n. 6, p. 465, doi. 10.1002/malq.201400084
- By:
- Publication type:
- Article
Works matching IS 09425616 AND DT 2016 AND VI 62 AND IP 6
Results: 15
1
2
Forcing a countable structure to belong to the ground model.
- Published in:
- Mathematical Logic Quarterly, 2016, v. 62, n. 6, p. 530, doi. 10.1002/malq.201400094
- By:
- Publication type:
- Article
3
Automorphisms of η-like computable linear orderings and Kierstead's conjecture.
- Published in:
- Mathematical Logic Quarterly, 2016, v. 62, n. 6, p. 481, doi. 10.1002/malq.201400109
- By:
- Publication type:
- Article
4
Separating principles below.
- Published in:
- Mathematical Logic Quarterly, 2016, v. 62, n. 6, p. 507, doi. 10.1002/malq.201500001
- By:
- Publication type:
- Article
5
The conjugacy problem for automorphism groups of countable homogeneous structures.
- Published in:
- Mathematical Logic Quarterly, 2016, v. 62, n. 6, p. 580, doi. 10.1002/malq.201500004
- By:
- Publication type:
- Article
6
Paraconsistent double negation as a modal operator.
- Published in:
- Mathematical Logic Quarterly, 2016, v. 62, n. 6, p. 552, doi. 10.1002/malq.201500042
- By:
- Publication type:
- Article
7
Paraconsistent double negation as a modal operator.
- Published in:
- Mathematical Logic Quarterly, 2016, v. 62, n. 6, p. 563, doi. 10.1002/malq.201500055
- By:
- Publication type:
- Article
8
Abelian pro-countable groups and non-Borel orbit equivalence relations.
- Published in:
- Mathematical Logic Quarterly, 2016, v. 62, n. 6, p. 575, doi. 10.1002/malq.201500064
- By:
- Publication type:
- Article
9
An automorphism group of an ω-stable structure that is not locally (OB).
- Published in:
- Mathematical Logic Quarterly, 2016, v. 62, n. 6, p. 547, doi. 10.1002/malq.201500074
- By:
- Publication type:
- Article
10
Fixed-parameter decidability: Extending parameterized complexity analysis.
- Published in:
- Mathematical Logic Quarterly, 2016, v. 62, n. 6, p. 596, doi. 10.1002/malq.201500077
- By:
- Publication type:
- Article
11
Cluster expansion and the boxdot conjecture.
- Published in:
- Mathematical Logic Quarterly, 2016, v. 62, n. 6, p. 608, doi. 10.1002/malq.201600036
- By:
- Publication type:
- Article
12
Hyperhypersimple sets and Q<sub>1</sub>-reducibility.
- Published in:
- Mathematical Logic Quarterly, 2016, v. 62, n. 6, p. 590, doi. 10.1002/malq.201600045
- By:
- Publication type:
- Article
13
Cover Picture.
- Published in:
- 2016
- Publication type:
- Other
14
Issue Information.
- Published in:
- 2016
- Publication type:
- Other
15
Contents: (Math. Log. Quart. 6/2016).
- Published in:
- Mathematical Logic Quarterly, 2016, v. 62, n. 6, p. 461, doi. 10.1002/malq.201670062
- Publication type:
- Article