A Galois correspondence for countable short recursively saturated models of PA.
- Published in:
- Mathematical Logic Quarterly, 2010, v. 56, n. 3, p. 228, doi. 10.1002/malq.200810050
- By:
- Publication type:
- Article
Works matching IS 09425616 AND DT 2010 AND VI 56 AND IP 3
Results: 11
1
2
Some observations on the substructure lattice of a Δ<sub>1</sub> ultrapower.
- Published in:
- Mathematical Logic Quarterly, 2010, v. 56, n. 3, p. 323, doi. 10.1002/malq.200810052
- By:
- Publication type:
- Article
3
Lévy processes on a first order model.
- Published in:
- Mathematical Logic Quarterly, 2010, v. 56, n. 3, p. 310, doi. 10.1002/malq.200910015
- By:
- Publication type:
- Article
4
Boolean products of R<sub>0</sub>-algebras.
- Published in:
- Mathematical Logic Quarterly, 2010, v. 56, n. 3, p. 289, doi. 10.1002/malq.200910006
- By:
- Publication type:
- Article
5
A note on stability spectrum of generic structures.
- Published in:
- Mathematical Logic Quarterly, 2010, v. 56, n. 3, p. 257, doi. 10.1002/malq.200810051
- By:
- Publication type:
- Article
6
The Ultrafilter Closure in ZF.
- Published in:
- Mathematical Logic Quarterly, 2010, v. 56, n. 3, p. 331, doi. 10.1002/malq.200910014
- By:
- Publication type:
- Article
7
Abelian groups and quadratic residues in weak arithmetic.
- Published in:
- Mathematical Logic Quarterly, 2010, v. 56, n. 3, p. 262, doi. 10.1002/malq.200910009
- By:
- Publication type:
- Article
8
Zariski-type topology for implication algebras.
- Published in:
- Mathematical Logic Quarterly, 2010, v. 56, n. 3, p. 299, doi. 10.1002/malq.200910012
- By:
- Publication type:
- Article
9
Existentially closed ordered difference fields and rings.
- Published in:
- Mathematical Logic Quarterly, 2010, v. 56, n. 3, p. 239, doi. 10.1002/malq.200910007
- By:
- Publication type:
- Article
10
A discrete representation of free MV-algebras.
- Published in:
- Mathematical Logic Quarterly, 2010, v. 56, n. 3, p. 279, doi. 10.1002/malq.200910036
- By:
- Publication type:
- Article
11
Contents: Math. Log. Quart. 3/2010.
- Published in:
- 2010
- Publication type:
- Abstract