Works matching IS 09425616 AND DT 2004 AND VI 50 AND IP 1
Results: 13
Corrigendum to “Kripke-style semantics for many-valued logics”.
- Published in:
- Mathematical Logic Quarterly, 2004, v. 50, n. 1, p. 104, doi. 10.1002/malq.200310081
- By:
- Publication type:
- Article
The cumulative hierarchy and the constructible universe of ZFA.
- Published in:
- Mathematical Logic Quarterly, 2004, v. 50, n. 1, p. 99, doi. 10.1002/malq.200310080
- By:
- Publication type:
- Article
Finitely generated submodels of an uncountably categorical homogeneous structure.
- Published in:
- Mathematical Logic Quarterly, 2004, v. 50, n. 1, p. 77, doi. 10.1002/malq.200310079
- By:
- Publication type:
- Article
Automorphism group actions on trees.
- Published in:
- Mathematical Logic Quarterly, 2004, v. 50, n. 1, p. 71, doi. 10.1002/malq.200310078
- By:
- Publication type:
- Article
On the linear Lindenbaum algebra of Basic Propositional Logic.
- Published in:
- Mathematical Logic Quarterly, 2004, v. 50, n. 1, p. 65, doi. 10.1002/malq.200310077
- By:
- Publication type:
- Article
Level by level equivalence and strong compactness.
- Published in:
- Mathematical Logic Quarterly, 2004, v. 50, n. 1, p. 51, doi. 10.1002/malq.200310076
- By:
- Publication type:
- Article
Minima of initial segments of infinite sequences of reals.
- Published in:
- Mathematical Logic Quarterly, 2004, v. 50, n. 1, p. 47, doi. 10.1002/malq.200310075
- By:
- Publication type:
- Article
A generalization of a conservativity theorem for classical versus intuitionistic arithmetic.
- Published in:
- Mathematical Logic Quarterly, 2004, v. 50, n. 1, p. 41, doi. 10.1002/malq.200310074
- By:
- Publication type:
- Article
The strong partition relation on ω<sub>1</sub> revisited.
- Published in:
- Mathematical Logic Quarterly, 2004, v. 50, n. 1, p. 33, doi. 10.1002/malq.200310073
- By:
- Publication type:
- Article
A short proof of the preservation of the ω<sup>ω</sup>-bounding property.
- Published in:
- Mathematical Logic Quarterly, 2004, v. 50, n. 1, p. 29, doi. 10.1002/malq.200310072
- By:
- Publication type:
- Article
F-products and nonstandard hulls for semigroups.
- Published in:
- Mathematical Logic Quarterly, 2004, v. 50, n. 1, p. 18, doi. 10.1002/malq.200310071
- By:
- Publication type:
- Article
Characterizing NC with tier 0 pointers.
- Published in:
- Mathematical Logic Quarterly, 2004, v. 50, n. 1, p. 9, doi. 10.1002/malq.200310070
- By:
- Publication type:
- Article
Collapsing functions.
- Published in:
- Mathematical Logic Quarterly, 2004, v. 50, n. 1, p. 3, doi. 10.1002/malq.200310069
- By:
- Publication type:
- Article