On partial disjunction properties of theories containing Peano arithmetic.
- Published in:
- Archive for Mathematical Logic, 2018, v. 57, n. 7/8, p. 953, doi. 10.1007/s00153-018-0618-3
- By:
- Publication type:
- Article
Works matching IS 09335846 AND DT 2018 AND VI 57 AND IP 7/8
Results: 14
1
2
A model of ZFA+PAC with no outer model of ZFAC with the same pure part.
- Published in:
- Archive for Mathematical Logic, 2018, v. 57, n. 7/8, p. 853, doi. 10.1007/s00153-018-0610-y
- By:
- Publication type:
- Article
3
Generic variations and NTP1.
- Published in:
- Archive for Mathematical Logic, 2018, v. 57, n. 7/8, p. 861, doi. 10.1007/s00153-018-0609-4
- By:
- Publication type:
- Article
4
Definability of types and VC density in differential topological fields.
- Published in:
- Archive for Mathematical Logic, 2018, v. 57, n. 7/8, p. 809, doi. 10.1007/s00153-017-0607-y
- By:
- Publication type:
- Article
5
Homomorphism reductions on Polish groups.
- Published in:
- Archive for Mathematical Logic, 2018, v. 57, n. 7/8, p. 795, doi. 10.1007/s00153-017-0606-z
- By:
- Publication type:
- Article
6
A collection of topological Ramsey spaces of trees and their application to profinite graph theory.
- Published in:
- Archive for Mathematical Logic, 2018, v. 57, n. 7/8, p. 939, doi. 10.1007/s00153-018-0617-4
- By:
- Publication type:
- Article
7
Closure properties of parametric subcompleteness.
- Published in:
- Archive for Mathematical Logic, 2018, v. 57, n. 7/8, p. 829, doi. 10.1007/s00153-018-0611-x
- By:
- Publication type:
- Article
8
Splitting idempotents in a fibered setting.
- Published in:
- Archive for Mathematical Logic, 2018, v. 57, n. 7/8, p. 917, doi. 10.1007/s00153-018-0616-5
- By:
- Publication type:
- Article
9
Hanf number for Scott sentences of computable structures.
- Published in:
- Archive for Mathematical Logic, 2018, v. 57, n. 7/8, p. 889, doi. 10.1007/s00153-018-0615-6
- By:
- Publication type:
- Article
10
Stationary sets added when forcing squares.
- Published in:
- Archive for Mathematical Logic, 2018, v. 57, n. 7/8, p. 909, doi. 10.1007/s00153-018-0613-8
- By:
- Publication type:
- Article
11
Consistency of the intensional level of the Minimalist Foundation with Church’s thesis and axiom of choice.
- Published in:
- Archive for Mathematical Logic, 2018, v. 57, n. 7/8, p. 873, doi. 10.1007/s00153-018-0612-9
- By:
- Publication type:
- Article
12
Embedding locales and formal topologies into positive topologies.
- Published in:
- Archive for Mathematical Logic, 2018, v. 57, n. 7/8, p. 755, doi. 10.1007/s00153-017-0605-0
- By:
- Publication type:
- Article
13
A partition relation for pairs on ωωω.
- Published in:
- Archive for Mathematical Logic, 2018, v. 57, n. 7/8, p. 727, doi. 10.1007/s00153-017-0604-1
- By:
- Publication type:
- Article
14
Model completeness of generic graphs in rational cases.
- Published in:
- Archive for Mathematical Logic, 2018, v. 57, n. 7/8, p. 769, doi. 10.1007/s00153-017-0601-4
- By:
- Publication type:
- Article