A logic for arguing about probabilities in measure teams.
- Published in:
- Archive for Mathematical Logic, 2017, v. 56, n. 5/6, p. 475, doi. 10.1007/s00153-017-0535-x
- By:
- Publication type:
- Article
Works matching IS 09335846 AND DT 2017 AND VI 56 AND IP 5/6
Results: 13
1
2
The reverse mathematics of non-decreasing subsequences.
- Published in:
- Archive for Mathematical Logic, 2017, v. 56, n. 5/6, p. 491, doi. 10.1007/s00153-017-0536-9
- By:
- Publication type:
- Article
3
Bounded low and high sets.
- Published in:
- Archive for Mathematical Logic, 2017, v. 56, n. 5/6, p. 507, doi. 10.1007/s00153-017-0537-8
- By:
- Publication type:
- Article
4
A herbrandized functional interpretation of classical first-order logic.
- Published in:
- Archive for Mathematical Logic, 2017, v. 56, n. 5/6, p. 523, doi. 10.1007/s00153-017-0555-6
- By:
- Publication type:
- Article
5
Minimal elementary end extensions.
- Published in:
- Archive for Mathematical Logic, 2017, v. 56, n. 5/6, p. 541, doi. 10.1007/s00153-017-0556-5
- By:
- Publication type:
- Article
6
Interpretability suprema in Peano Arithmetic.
- Published in:
- Archive for Mathematical Logic, 2017, v. 56, n. 5/6, p. 555, doi. 10.1007/s00153-017-0557-4
- By:
- Publication type:
- Article
7
A predicate extension of real valued logic.
- Published in:
- Archive for Mathematical Logic, 2017, v. 56, n. 5/6, p. 585, doi. 10.1007/s00153-017-0558-3
- By:
- Publication type:
- Article
8
Ordinal notation systems corresponding to Friedman's linearized well-partial-orders with gap-condition.
- Published in:
- Archive for Mathematical Logic, 2017, v. 56, n. 5/6, p. 607, doi. 10.1007/s00153-017-0559-2
- By:
- Publication type:
- Article
9
Uniform proofs of ACC representations.
- Published in:
- Archive for Mathematical Logic, 2017, v. 56, n. 5/6, p. 639, doi. 10.1007/s00153-017-0560-9
- By:
- Publication type:
- Article
10
Saturation and solvability in abstract elementary classes with amalgamation.
- Published in:
- Archive for Mathematical Logic, 2017, v. 56, n. 5/6, p. 671, doi. 10.1007/s00153-017-0561-8
- By:
- Publication type:
- Article
11
A null ideal for inaccessibles.
- Published in:
- Archive for Mathematical Logic, 2017, v. 56, n. 5/6, p. 691, doi. 10.1007/s00153-017-0562-7
- By:
- Publication type:
- Article
12
The strength of countable saturation.
- Published in:
- Archive for Mathematical Logic, 2017, v. 56, n. 5/6, p. 699, doi. 10.1007/s00153-017-0567-2
- By:
- Publication type:
- Article
13
Models of weak theories of truth.
- Published in:
- Archive for Mathematical Logic, 2017, v. 56, n. 5/6, p. 453, doi. 10.1007/s00153-017-0531-1
- By:
- Publication type:
- Article