Works matching IS 09425616 AND DT 2005 AND VI 51 AND IP 4
Results: 8
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
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
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
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
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
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
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
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