Volume 54; Issue 7-8

Archive for Mathematical Logic

Volume 54; Issue 7-8
1

PAC learning, VC dimension, and the arithmetic hierarchy

Year:
2015
Language:
english
File:
PDF, 472 KB
english, 2015
3

Some properties ofr-maximal sets andQ1,N-reducibility

Year:
2015
Language:
english
File:
PDF, 456 KB
english, 2015
4

Some principles weaker than Markov’s principle

Year:
2015
Language:
english
File:
PDF, 381 KB
english, 2015
5

Normalization proof for Peano Arithmetic

Year:
2015
Language:
english
File:
PDF, 462 KB
english, 2015
6

On the share of closedILformulas which are also inGL

Year:
2015
Language:
english
File:
PDF, 536 KB
english, 2015
7

Sets of points of symmetric continuity

Year:
2015
Language:
english
File:
PDF, 536 KB
english, 2015
8

On the complexity of finding falsifying assignments for Herbrand disjunctions

Year:
2015
Language:
english
File:
PDF, 413 KB
english, 2015
9

Dividing and weak quasi-dimensions in arbitrary theories

Year:
2015
Language:
english
File:
PDF, 358 KB
english, 2015
10

Indestructibility properties of remarkable cardinals

Year:
2015
Language:
english
File:
PDF, 557 KB
english, 2015
11

A logic of graded attributes

Year:
2015
Language:
english
File:
PDF, 469 KB
english, 2015
12

Strongly unbounded and strongly dominating sets of reals generalized

Year:
2015
Language:
english
File:
PDF, 451 KB
english, 2015
13

Different similarities

Year:
2015
Language:
english
File:
PDF, 676 KB
english, 2015
14

Ramsey-type graph coloring and diagonal non-computability

Year:
2015
Language:
english
File:
PDF, 464 KB
english, 2015