Correction to: Generalization of Shapiro's theorem to higher arities and noninjective notations.
- Published in:
- 2023
- By:
- Publication type:
- Correction Notice
Works matching IS 09335846 AND DT 2023 AND VI 62 AND IP 1/2
Results: 12
1
2
The additive structure of integers with the lower Wythoff sequence.
- Published in:
- Archive for Mathematical Logic, 2023, v. 62, n. 1/2, p. 225, doi. 10.1007/s00153-022-00846-2
- By:
- Publication type:
- Article
3
Complexity of Σn0-classifications for definable subsets.
- Published in:
- Archive for Mathematical Logic, 2023, v. 62, n. 1/2, p. 239, doi. 10.1007/s00153-022-00842-6
- By:
- Publication type:
- Article
4
Involutive Uninorm Logic with Fixed Point enjoys finite strong standard completeness.
- Published in:
- Archive for Mathematical Logic, 2023, v. 62, n. 1/2, p. 67, doi. 10.1007/s00153-022-00839-1
- By:
- Publication type:
- Article
5
Positive logics.
- Published in:
- Archive for Mathematical Logic, 2023, v. 62, n. 1/2, p. 207, doi. 10.1007/s00153-022-00837-3
- By:
- Publication type:
- Article
6
Generalization of Shapiro's theorem to higher arities and noninjective notations.
- Published in:
- Archive for Mathematical Logic, 2023, v. 62, n. 1/2, p. 257, doi. 10.1007/s00153-022-00836-4
- By:
- Publication type:
- Article
7
Filter pairs and natural extensions of logics.
- Published in:
- Archive for Mathematical Logic, 2023, v. 62, n. 1/2, p. 113, doi. 10.1007/s00153-022-00834-6
- By:
- Publication type:
- Article
8
Computable scott sentences for quasi–Hopfian finitely presented structures.
- Published in:
- Archive for Mathematical Logic, 2023, v. 62, n. 1/2, p. 55, doi. 10.1007/s00153-022-00833-7
- By:
- Publication type:
- Article
9
Pseudointersection numbers, ideal slaloms, topological spaces, and cardinal inequalities.
- Published in:
- Archive for Mathematical Logic, 2023, v. 62, n. 1/2, p. 87, doi. 10.1007/s00153-022-00832-8
- By:
- Publication type:
- Article
10
Second order arithmetic as the model companion of set theory.
- Published in:
- Archive for Mathematical Logic, 2023, v. 62, n. 1/2, p. 29, doi. 10.1007/s00153-022-00831-9
- By:
- Publication type:
- Article
11
A few more dissimilarities between second-order arithmetic and set theory.
- Published in:
- Archive for Mathematical Logic, 2023, v. 62, n. 1/2, p. 147, doi. 10.1007/s00153-022-00829-3
- By:
- Publication type:
- Article
12
Type space functors and interpretations in positive logic.
- Published in:
- Archive for Mathematical Logic, 2023, v. 62, n. 1/2, p. 1, doi. 10.1007/s00153-022-00825-7
- By:
- Publication type:
- Article