Sprague–Grundy theory in bounded arithmetic.
- Published in:
- Archive for Mathematical Logic, 2022, v. 61, n. 1/2, p. 233, doi. 10.1007/s00153-021-00790-7
- By:
- Publication type:
- Article
Works matching IS 09335846 AND DT 2022 AND VI 61 AND IP 1/2
Results: 12
1
2
First-order theories of bounded trees.
- Published in:
- Archive for Mathematical Logic, 2022, v. 61, n. 1/2, p. 263, doi. 10.1007/s00153-021-00789-0
- By:
- Publication type:
- Article
3
A boundedness principle for the Hjorth rank.
- Published in:
- Archive for Mathematical Logic, 2022, v. 61, n. 1/2, p. 223, doi. 10.1007/s00153-021-00788-1
- By:
- Publication type:
- Article
4
Various forms of infinity for finitely supported structures.
- Published in:
- Archive for Mathematical Logic, 2022, v. 61, n. 1/2, p. 173, doi. 10.1007/s00153-021-00787-2
- By:
- Publication type:
- Article
5
Representability and compactness for pseudopowers.
- Published in:
- Archive for Mathematical Logic, 2022, v. 61, n. 1/2, p. 55, doi. 10.1007/s00153-021-00780-9
- By:
- Publication type:
- Article
6
Rosenthal families, filters, and semifilters.
- Published in:
- Archive for Mathematical Logic, 2022, v. 61, n. 1/2, p. 131, doi. 10.1007/s00153-021-00779-2
- By:
- Publication type:
- Article
7
Does weak quasi-o-minimality behave better than weak o-minimality?
- Published in:
- Archive for Mathematical Logic, 2022, v. 61, n. 1/2, p. 81, doi. 10.1007/s00153-021-00778-3
- By:
- Publication type:
- Article
8
On Hilbert algebras generated by the order.
- Published in:
- Archive for Mathematical Logic, 2022, v. 61, n. 1/2, p. 155, doi. 10.1007/s00153-021-00777-4
- By:
- Publication type:
- Article
9
Small u(κ) at singular κ with compactness at κ++.
- Published in:
- Archive for Mathematical Logic, 2022, v. 61, n. 1/2, p. 33, doi. 10.1007/s00153-021-00776-5
- By:
- Publication type:
- Article
10
Normalisation and subformula property for a system of classical logic with Tarski's rule.
- Published in:
- Archive for Mathematical Logic, 2022, v. 61, n. 1/2, p. 105, doi. 10.1007/s00153-021-00775-6
- By:
- Publication type:
- Article
11
Degree structures of conjunctive reducibility.
- Published in:
- Archive for Mathematical Logic, 2022, v. 61, n. 1/2, p. 19, doi. 10.1007/s00153-021-00774-7
- By:
- Publication type:
- Article
12
The independence of GCH and a combinatorial principle related to Banach–Mazur games.
- Published in:
- Archive for Mathematical Logic, 2022, v. 61, n. 1/2, p. 1, doi. 10.1007/s00153-021-00770-x
- By:
- Publication type:
- Article