|
Journals in DBLP
J. Symb. Log. 1996, volume: 61, number: 3
- Paul Taylor 0002
Intuitionistic Sets and Ordinals. [Citation Graph (0, 0)][DBLP] J. Symb. Log., 1996, v:61, n:3, pp:705-744 [Journal]
- Wim Veldman, Frank Waaldijk
Some Elementary Results in Intuitionistic Model Theory. [Citation Graph (0, 0)][DBLP] J. Symb. Log., 1996, v:61, n:3, pp:745-767 [Journal]
- Jeremy Avigad
On the Relationship Between ATR0 and ID<omega. [Citation Graph (0, 0)][DBLP] J. Symb. Log., 1996, v:61, n:3, pp:768-779 [Journal]
- Martin Gilchrist, Saharon Shelah
Identities on Cardinals less than alephomega. [Citation Graph (0, 0)][DBLP] J. Symb. Log., 1996, v:61, n:3, pp:780-787 [Journal]
- Leon Horsten
Reflecting in Epistemic Arithmetic. [Citation Graph (0, 0)][DBLP] J. Symb. Log., 1996, v:61, n:3, pp:788-801 [Journal]
- Lauri Hella, Kerkko Luosto, Jouko A. Väänänen
The Hierarchy Theorem for Generalized Quantifiers. [Citation Graph (0, 0)][DBLP] J. Symb. Log., 1996, v:61, n:3, pp:802-817 [Journal]
- Gerhard Jäger, Thomas Strahm
Some Theories with Positive Induction of Ordinal Strength phi omega 0. [Citation Graph (0, 0)][DBLP] J. Symb. Log., 1996, v:61, n:3, pp:818-842 [Journal]
- Silvio Ghilardi, Giancarlo Meloni
Relational and Partial Variable Sets and Basic Predicate Logic. [Citation Graph (0, 0)][DBLP] J. Symb. Log., 1996, v:61, n:3, pp:843-872 [Journal]
- Alan Dow
On Boolean Subalgebras of P(omega1)/ctble. [Citation Graph (0, 0)][DBLP] J. Symb. Log., 1996, v:61, n:3, pp:873-879 [Journal]
- Klaus Ambos-Spies, Peter A. Fejer, Steffen Lempp, Manuel Lerman
Decidability of the Two-Quantifier Theory of the Recursively Enumerable Weak Truth-Table Degrees and Other Distributive Upper Semi-Lattices. [Citation Graph (0, 0)][DBLP] J. Symb. Log., 1996, v:61, n:3, pp:880-905 [Journal]
- Greg Hjorth
On aleph1 Many Minimal Models. [Citation Graph (0, 0)][DBLP] J. Symb. Log., 1996, v:61, n:3, pp:906-919 [Journal]
- Claude Laflamme
A Few Special Ordinal Ultrafilters. [Citation Graph (0, 0)][DBLP] J. Symb. Log., 1996, v:61, n:3, pp:920-927 [Journal]
- José Iovino
The Morley Rank of a Banach Space. [Citation Graph (0, 0)][DBLP] J. Symb. Log., 1996, v:61, n:3, pp:928-941 [Journal]
- Domenico Zambella
Notes on Polynomially Bounded Arithmetic. [Citation Graph (0, 0)][DBLP] J. Symb. Log., 1996, v:61, n:3, pp:942-966 [Journal]
- Ambar Chowdhury, James Loveys, Predrag Tanovic
A Definable Continuous Rank for Nonmultidimensional Superstable Theories. [Citation Graph (0, 0)][DBLP] J. Symb. Log., 1996, v:61, n:3, pp:967-984 [Journal]
- Michael C. Laskowski, Laura L. Mayer
Stable Structures with Few Substructures. [Citation Graph (0, 0)][DBLP] J. Symb. Log., 1996, v:61, n:3, pp:985-1005 [Journal]
- Natasha Alechina, Michiel van Lambalgen
Generalized Quantification as Substructural Logic. [Citation Graph (0, 0)][DBLP] J. Symb. Log., 1996, v:61, n:3, pp:1006-1044 [Journal]
|