Works matching IS 09335846 AND DT 2025 AND VI 64 AND IP 1
Results: 12
Degrees of relations on canonically ordered natural numbers and integers: Degrees of relations on canonically ordered natural...: N. Bazhenov et al.
- Published in:
- Archive for Mathematical Logic, 2025, v. 64, n. 1, p. 299, doi. 10.1007/s00153-024-00942-5
- By:
- Publication type:
- Article
A characterization of strongly computable finite factorization domains: A Characterization of Strongly...: G. Soto-Rosa and V. Ocasio-González.
- Published in:
- Archive for Mathematical Logic, 2025, v. 64, n. 1, p. 333, doi. 10.1007/s00153-024-00941-6
- By:
- Publication type:
- Article
Punctually presented structures II: comparing presentations: Punctually presented structures II: comparing presentations: M. Dorzhieva et al.
- Published in:
- Archive for Mathematical Logic, 2025, v. 64, n. 1, p. 159, doi. 10.1007/s00153-024-00940-7
- By:
- Publication type:
- Article
The provably total functions of basic arithmetic and its extensions: The provably total functions of basic arithmetic...: M. Ardeshir et al.
- Published in:
- Archive for Mathematical Logic, 2025, v. 64, n. 1, p. 205, doi. 10.1007/s00153-024-00939-0
- By:
- Publication type:
- Article
On some Σ0B-formulae generalizing counting principles over V0: On some Σ0B-formulae: E. Ken et al.
- Published in:
- Archive for Mathematical Logic, 2025, v. 64, n. 1, p. 117, doi. 10.1007/s00153-024-00938-1
- By:
- Publication type:
- Article
On absorption's formula definable semigroups of complete theories: On absorption's formula definable semigroups...: M. Bekenov et al.
- Published in:
- Archive for Mathematical Logic, 2025, v. 64, n. 1, p. 107, doi. 10.1007/s00153-024-00937-2
- By:
- Publication type:
- Article
Undecidability of indecomposable polynomial rings: Undecidability of indecomposable polynomial rings: M. Barone et al.
- Published in:
- Archive for Mathematical Logic, 2025, v. 64, n. 1, p. 185, doi. 10.1007/s00153-024-00936-3
- By:
- Publication type:
- Article
Intuitionistic sets and numbers: small set theory and Heyting arithmetic.
- Published in:
- Archive for Mathematical Logic, 2025, v. 64, n. 1, p. 79, doi. 10.1007/s00153-024-00935-4
- By:
- Publication type:
- Article
On categoricity of scattered linear orders of constructive ranks.
- Published in:
- Archive for Mathematical Logic, 2025, v. 64, n. 1, p. 279, doi. 10.1007/s00153-024-00934-5
- By:
- Publication type:
- Article
Different covering numbers of compact tree ideals.
- Published in:
- Archive for Mathematical Logic, 2025, v. 64, n. 1, p. 259, doi. 10.1007/s00153-024-00933-6
- By:
- Publication type:
- Article
The Fan Theorem, its strong negation, and the determinacy of games: The Fan Theorem, its strong negation...: W. Veldman.
- Published in:
- Archive for Mathematical Logic, 2025, v. 64, n. 1, p. 1, doi. 10.1007/s00153-024-00930-9
- By:
- Publication type:
- Article
The Tarski–Lindenbaum algebra of the class of strongly constructivizable models with ω-stable theories.
- Published in:
- Archive for Mathematical Logic, 2025, v. 64, n. 1, p. 67, doi. 10.1007/s00153-024-00927-4
- By:
- Publication type:
- Article