|
Journals in DBLP
J. Symb. Log. 1988, volume: 53, number: 2
- Wilfrid Hodges, Wilfried Sieg
A Symposium on Hilbert's Program. [Citation Graph (0, 0)][DBLP] J. Symb. Log., 1988, v:53, n:2, pp:337- [Journal]
- Wilfried Sieg
Hilbert's Program Sixty Years Later. [Citation Graph (0, 0)][DBLP] J. Symb. Log., 1988, v:53, n:2, pp:338-348 [Journal]
- Stephen G. Simpson
Partial Realizations of Hilbert's Program. [Citation Graph (0, 0)][DBLP] J. Symb. Log., 1988, v:53, n:2, pp:349-363 [Journal]
- Solomon Feferman
Hilbert's Program Relativized: Proof-Theoretical and Foundational Reductions. [Citation Graph (0, 0)][DBLP] J. Symb. Log., 1988, v:53, n:2, pp:364-384 [Journal]
- Yo Matsubara
Splitting P k lambda into Stationary Subsets. [Citation Graph (0, 0)][DBLP] J. Symb. Log., 1988, v:53, n:2, pp:385-389 [Journal]
- John P. Burgess
Addendum to "The Truth is Never Simple". [Citation Graph (0, 0)][DBLP] J. Symb. Log., 1988, v:53, n:2, pp:390-392 [Journal]
- Jaime I. Ihoda
Strong Measure Zero Sets and Rapid Filters. [Citation Graph (0, 0)][DBLP] J. Symb. Log., 1988, v:53, n:2, pp:393-402 [Journal]
- Fabio Bellissima
Finite and Finitely Separable Intermediate Propositional Logics. [Citation Graph (0, 0)][DBLP] J. Symb. Log., 1988, v:53, n:2, pp:403-420 [Journal]
- Françoise Delon
Extensions Separees et Immediates de Corps Values. [Citation Graph (0, 0)][DBLP] J. Symb. Log., 1988, v:53, n:2, pp:421-428 [Journal]
- Kenneth Kunen
Where Ma First Fails. [Citation Graph (0, 0)][DBLP] J. Symb. Log., 1988, v:53, n:2, pp:429-433 [Journal]
- Elisabeth Bouscaren, Bruno Poizat
Des Belles Paires aux Beaux Uples. [Citation Graph (0, 0)][DBLP] J. Symb. Log., 1988, v:53, n:2, pp:434-442 [Journal]
- Joseph Barback
On Infinite Series of Infinite Isols. [Citation Graph (0, 0)][DBLP] J. Symb. Log., 1988, v:53, n:2, pp:443-462 [Journal]
- Dan Haran
Quantifier Elimination in Separably Closed Fields of Finite Imperfectness Degree. [Citation Graph (0, 0)][DBLP] J. Symb. Log., 1988, v:53, n:2, pp:463-469 [Journal]
- Masahiro Yasumoto
Algebraic Extensions in Nonstandard Models and Hilbert's Irreducibility Theorem. [Citation Graph (0, 0)][DBLP] J. Symb. Log., 1988, v:53, n:2, pp:470-480 [Journal]
- Penelope Maddy
Believing the Axioms I. [Citation Graph (0, 0)][DBLP] J. Symb. Log., 1988, v:53, n:2, pp:481-511 [Journal]
- Michael C. Laskowski
Uncountable Theories that are Categorical in a Higher Power. [Citation Graph (0, 0)][DBLP] J. Symb. Log., 1988, v:53, n:2, pp:512-530 [Journal]
- Michael Moses
Decidable Discrete Linear Orders. [Citation Graph (0, 0)][DBLP] J. Symb. Log., 1988, v:53, n:2, pp:531-539 [Journal]
- Pierre Matet
Some Filters of Partitions. [Citation Graph (0, 0)][DBLP] J. Symb. Log., 1988, v:53, n:2, pp:540-553 [Journal]
- Kosta Dosen, Peter Schroeder-Heister
Uniqueness, Definability and Interpolation. [Citation Graph (0, 0)][DBLP] J. Symb. Log., 1988, v:53, n:2, pp:554-570 [Journal]
- Herbert H. J. Riedel
Existentially Closed Algebras and Boolean Products. [Citation Graph (0, 0)][DBLP] J. Symb. Log., 1988, v:53, n:2, pp:571-596 [Journal]
- Mark Howard
A Proofless Proof of the Barwise Compactness Theorem. [Citation Graph (0, 0)][DBLP] J. Symb. Log., 1988, v:53, n:2, pp:597-602 [Journal]
- Viggo Stoltenberg-Hansen, J. V. Tucker
Complete Local Rings as Domains. [Citation Graph (0, 0)][DBLP] J. Symb. Log., 1988, v:53, n:2, pp:603-624 [Journal]
- Steven Buechler
The Classification of Small Weakly Minimal Sets II. [Citation Graph (0, 0)][DBLP] J. Symb. Log., 1988, v:53, n:2, pp:625-635 [Journal]
- Jaime I. Ihoda
sigma12-Sets of Reals. [Citation Graph (0, 0)][DBLP] J. Symb. Log., 1988, v:53, n:2, pp:636-642 [Journal]
|