Encoding true second‐order arithmetic in the real‐algebraic structure of models of intuitionistic elementary analysis.
- Published in:
- Mathematical Logic Quarterly, 2021, v. 67, n. 3, p. 329, doi. 10.1002/malq.202000048
- Publication type:
- Article
Works matching IS 09425616 AND DT 2021 AND VI 67 AND IP 3
Results: 14
1
2
Contents: (Math. Log. Quart. 3/2021).
- Published in:
- Mathematical Logic Quarterly, 2021, v. 67, n. 3, p. 267, doi. 10.1002/malq.202130000
- Publication type:
- Article
3
Pathological examples of structures with o‐minimal open core.
- Published in:
- Mathematical Logic Quarterly, 2021, v. 67, n. 3, p. 382, doi. 10.1002/malq.202100008
- By:
- Publication type:
- Article
4
Issue Information.
- Published in:
- Mathematical Logic Quarterly, 2021, v. 67, n. 3, p. NA, doi. 10.1002/malq.20210006
- Publication type:
- Article
5
Cover Picture.
- Published in:
- Mathematical Logic Quarterly, 2021, v. 67, n. 3, p. 265, doi. 10.1002/malq.20210005
- Publication type:
- Article
6
Bernoulli randomness and Bernoulli normality.
- Published in:
- Mathematical Logic Quarterly, 2021, v. 67, n. 3, p. 359, doi. 10.1002/malq.202000082
- Publication type:
- Article
7
Weakly and locally positive Robinson theories.
- Published in:
- Mathematical Logic Quarterly, 2021, v. 67, n. 3, p. 342, doi. 10.1002/malq.202000078
- Publication type:
- Article
8
On the dependent product in toposes.
- Published in:
- Mathematical Logic Quarterly, 2021, v. 67, n. 3, p. 282, doi. 10.1002/malq.202000069
- By:
- Publication type:
- Article
9
An effectively closed set with no join property*.
- Published in:
- Mathematical Logic Quarterly, 2021, v. 67, n. 3, p. 313, doi. 10.1002/malq.202000063
- Publication type:
- Article
10
On height of group trees on tame abelian product groups.
- Published in:
- Mathematical Logic Quarterly, 2021, v. 67, n. 3, p. 374, doi. 10.1002/malq.202000062
- Publication type:
- Article
11
Strongly NIP almost real closed fields.
- Published in:
- Mathematical Logic Quarterly, 2021, v. 67, n. 3, p. 321, doi. 10.1002/malq.202000060
- By:
- Publication type:
- Article
12
Omitting types algebraically and more about amalgamation for modal cylindric algebras.
- Published in:
- Mathematical Logic Quarterly, 2021, v. 67, n. 3, p. 295, doi. 10.1002/malq.202000051
- Publication type:
- Article
13
Some basic thoughts on the cofinalities of Chang structures with an application to forcing.
- Published in:
- Mathematical Logic Quarterly, 2021, v. 67, n. 3, p. 354, doi. 10.1002/malq.202000029
- Publication type:
- Article
14
Mycielski among trees.
- Published in:
- Mathematical Logic Quarterly, 2021, v. 67, n. 3, p. 271, doi. 10.1002/malq.202000002
- By:
- Publication type:
- Article