On the complexity of finding falsifying assignments for Herbrand disjunctions.
- Published in:
- Archive for Mathematical Logic, 2015, v. 54, n. 7/8, p. 769, doi. 10.1007/s00153-015-0439-6
- By:
- Publication type:
- Article
Works matching IS 09335846 AND DT 2015 AND VI 54 AND IP 7/8
Results: 14
1
2
A logic of graded attributes.
- Published in:
- Archive for Mathematical Logic, 2015, v. 54, n. 7/8, p. 785, doi. 10.1007/s00153-015-0440-0
- By:
- Publication type:
- Article
3
Sets of points of symmetric continuity.
- Published in:
- Archive for Mathematical Logic, 2015, v. 54, n. 7/8, p. 803, doi. 10.1007/s00153-015-0441-z
- By:
- Publication type:
- Article
4
Strongly unbounded and strongly dominating sets of reals generalized.
- Published in:
- Archive for Mathematical Logic, 2015, v. 54, n. 7/8, p. 825, doi. 10.1007/s00153-015-0442-y
- By:
- Publication type:
- Article
5
Different similarities.
- Published in:
- Archive for Mathematical Logic, 2015, v. 54, n. 7/8, p. 839, doi. 10.1007/s00153-015-0443-x
- By:
- Publication type:
- Article
6
Some principles weaker than Markov's principle.
- Published in:
- Archive for Mathematical Logic, 2015, v. 54, n. 7/8, p. 861, doi. 10.1007/s00153-015-0444-9
- By:
- Publication type:
- Article
7
PAC learning, VC dimension, and the arithmetic hierarchy.
- Published in:
- Archive for Mathematical Logic, 2015, v. 54, n. 7/8, p. 871, doi. 10.1007/s00153-015-0445-8
- By:
- Publication type:
- Article
8
The field of reals with a predicate for the real algebraic numbers and a predicate for the integer powers of two.
- Published in:
- Archive for Mathematical Logic, 2015, v. 54, n. 7/8, p. 885, doi. 10.1007/s00153-015-0446-7
- By:
- Publication type:
- Article
9
Ramsey-type graph coloring and diagonal non-computability.
- Published in:
- Archive for Mathematical Logic, 2015, v. 54, n. 7/8, p. 899, doi. 10.1007/s00153-015-0448-5
- By:
- Publication type:
- Article
10
Dividing and weak quasi-dimensions in arbitrary theories.
- Published in:
- Archive for Mathematical Logic, 2015, v. 54, n. 7/8, p. 915, doi. 10.1007/s00153-015-0449-4
- By:
- Publication type:
- Article
11
Normalization proof for Peano Arithmetic.
- Published in:
- Archive for Mathematical Logic, 2015, v. 54, n. 7/8, p. 921, doi. 10.1007/s00153-015-0450-y
- By:
- Publication type:
- Article
12
Some properties of r-maximal sets and Q-reducibility.
- Published in:
- Archive for Mathematical Logic, 2015, v. 54, n. 7/8, p. 941, doi. 10.1007/s00153-015-0451-x
- By:
- Publication type:
- Article
13
Indestructibility properties of remarkable cardinals.
- Published in:
- Archive for Mathematical Logic, 2015, v. 54, n. 7/8, p. 961, doi. 10.1007/s00153-015-0453-8
- By:
- Publication type:
- Article
14
On the share of closed IL formulas which are also in GL.
- Published in:
- Archive for Mathematical Logic, 2015, v. 54, n. 7/8, p. 741, doi. 10.1007/s00153-015-0438-7
- By:
- Publication type:
- Article