Equivalence of generics.
- Published in:
- Archive for Mathematical Logic, 2022, v. 61, n. 5/6, p. 795, doi. 10.1007/s00153-021-00813-3
- By:
- Publication type:
- Article
Works matching IS 09335846 AND DT 2022 AND VI 61 AND IP 5/6
Results: 14
1
2
Between Hilbert and Gentzen: four-valued consequence systems and structural reasoning.
- Published in:
- Archive for Mathematical Logic, 2022, v. 61, n. 5/6, p. 627, doi. 10.1007/s00153-021-00806-2
- By:
- Publication type:
- Article
3
An alternative proof of the Hilbert-style axiomatization for the {∧,∨}-fragment of classical propositional logic.
- Published in:
- Archive for Mathematical Logic, 2022, v. 61, n. 5/6, p. 859, doi. 10.1007/s00153-022-00815-9
- By:
- Publication type:
- Article
4
Hindman's theorem for sums along the full binary tree, Σ20-induction and the Pigeonhole principle for trees.
- Published in:
- Archive for Mathematical Logic, 2022, v. 61, n. 5/6, p. 827, doi. 10.1007/s00153-021-00814-2
- By:
- Publication type:
- Article
5
Reverse mathematics and semisimple rings.
- Published in:
- Archive for Mathematical Logic, 2022, v. 61, n. 5/6, p. 769, doi. 10.1007/s00153-021-00812-4
- By:
- Publication type:
- Article
6
Antichains of copies of ultrahomogeneous structures.
- Published in:
- Archive for Mathematical Logic, 2022, v. 61, n. 5/6, p. 867, doi. 10.1007/s00153-022-00817-7
- By:
- Publication type:
- Article
7
Reflection and not SCH with overlapping extenders.
- Published in:
- Archive for Mathematical Logic, 2022, v. 61, n. 5/6, p. 591, doi. 10.1007/s00153-021-00805-3
- By:
- Publication type:
- Article
8
Many different uniformity numbers of Yorioka ideals.
- Published in:
- Archive for Mathematical Logic, 2022, v. 61, n. 5/6, p. 653, doi. 10.1007/s00153-021-00809-z
- By:
- Publication type:
- Article
9
Monadic k×j-rough Heyting algebras.
- Published in:
- Archive for Mathematical Logic, 2022, v. 61, n. 5/6, p. 611, doi. 10.1007/s00153-021-00802-6
- By:
- Publication type:
- Article
10
Remarks on weak amalgamation and large conjugacy classes in non-archimedean groups.
- Published in:
- Archive for Mathematical Logic, 2022, v. 61, n. 5/6, p. 685, doi. 10.1007/s00153-021-00807-1
- By:
- Publication type:
- Article
11
On the isomorphism problem for some classes of computable algebraic structures.
- Published in:
- Archive for Mathematical Logic, 2022, v. 61, n. 5/6, p. 813, doi. 10.1007/s00153-021-00811-5
- By:
- Publication type:
- Article
12
Iterated multiplication in VTC0.
- Published in:
- Archive for Mathematical Logic, 2022, v. 61, n. 5/6, p. 705, doi. 10.1007/s00153-021-00810-6
- By:
- Publication type:
- Article
13
Mutual algebraicity and cellularity.
- Published in:
- Archive for Mathematical Logic, 2022, v. 61, n. 5/6, p. 841, doi. 10.1007/s00153-021-00804-4
- By:
- Publication type:
- Article
14
The covering number of the strong measure zero ideal can be above almost everything else.
- Published in:
- Archive for Mathematical Logic, 2022, v. 61, n. 5/6, p. 599, doi. 10.1007/s00153-021-00808-0
- By:
- Publication type:
- Article