Worms, gaps, and hydras.
- Published in:
- Mathematical Logic Quarterly, 2005, v. 51, n. 4, p. 342, doi. 10.1002/malq.200410035
- By:
- Publication type:
- Article
Works matching IS 09425616 AND DT 2005 AND VI 51 AND IP 4
Results: 8
1
2
Minimality conditions on circularly ordered structures.
- Published in:
- Mathematical Logic Quarterly, 2005, v. 51, n. 4, p. 377, doi. 10.1002/malq.200410040
- By:
- Publication type:
- Article
3
A spatial modal logic with a location interpretation.
- Published in:
- Mathematical Logic Quarterly, 2005, v. 51, n. 4, p. 331, doi. 10.1002/malq.200510001
- By:
- Publication type:
- Article
4
A constructive proof of the Peter-Weyl theorem.
- Published in:
- Mathematical Logic Quarterly, 2005, v. 51, n. 4, p. 351, doi. 10.1002/malq.200410037
- By:
- Publication type:
- Article
5
Brouwer's fan theorem and unique existence in constructive analysis.
- Published in:
- Mathematical Logic Quarterly, 2005, v. 51, n. 4, p. 360, doi. 10.1002/malq.200410038
- By:
- Publication type:
- Article
6
Largest fixed points of set continuous operators and Boffa's Anti-Foundation.
- Published in:
- Mathematical Logic Quarterly, 2005, v. 51, n. 4, p. 365, doi. 10.1002/malq.200410039
- By:
- Publication type:
- Article
7
Henselian valued fields: a constructive point of view.
- Published in:
- Mathematical Logic Quarterly, 2005, v. 51, n. 4, p. 400, doi. 10.1002/malq.200410042
- By:
- Publication type:
- Article
8
Some variations of the Hardy hierarchy.
- Published in:
- Mathematical Logic Quarterly, 2005, v. 51, n. 4, p. 417, doi. 10.1002/malq.200410043
- By:
- Publication type:
- Article