The Journal of Symbolic Logic, Volume 57
Volume 57, Number 1, March 1992 share record
short URL:
http://dblp.org/rec/journals/jsyml/Tung92 Shih Ping Tung :
Arithmetic Definability by Formulas with Two Quantifiers. 1-11 share record
short URL:
http://dblp.org/rec/journals/jsyml/DAquino92 Paola D'Aquino :
Local Behaviour of the Chebyshev Theorem in Models of I Delta0 . 12-27 share record
short URL:
http://dblp.org/rec/journals/jsyml/Coquand92 share record
short URL:
http://dblp.org/rec/journals/jsyml/Pitts92 Andrew M. Pitts :
On an Interpretation of Second Order Quantification in First Order Intuitionistic Propositional Logic. 33-52 export record
dblp key:
journals/jsyml/GasarchPS92 share record
short URL:
http://dblp.org/rec/journals/jsyml/GasarchPS92 export record
dblp key:
journals/jsyml/Oikkonen92 share record
short URL:
http://dblp.org/rec/journals/jsyml/Oikkonen92 share record
short URL:
http://dblp.org/rec/journals/jsyml/PillayS92 export record
dblp key:
journals/jsyml/MarkerPP92 share record
short URL:
http://dblp.org/rec/journals/jsyml/MarkerPP92 share record
short URL:
http://dblp.org/rec/journals/jsyml/Lo92 Libo Lo :
Functions and Functionals on Finite Systems. 118-130 share record
short URL:
http://dblp.org/rec/journals/jsyml/Visser92 Albert Visser :
An Inside View of EXP; or, The Closed Fragment of the Provability Logic of I Delta0 +Omega1 with a Propositional Constant for EXP. 131-165 export record
dblp key:
journals/jsyml/Velleman92 share record
short URL:
http://dblp.org/rec/journals/jsyml/Velleman92 Dan Velleman :
On a Topological Construction of Juhasz and Shelah. 166-171 export record
dblp key:
journals/jsyml/Zivaljevic92 share record
short URL:
http://dblp.org/rec/journals/jsyml/Zivaljevic92 export record
dblp key:
journals/jsyml/AlbertBR92 share record
short URL:
http://dblp.org/rec/journals/jsyml/AlbertBR92 share record
short URL:
http://dblp.org/rec/journals/jsyml/HerzogR92 share record
short URL:
http://dblp.org/rec/journals/jsyml/HarnikM92 share record
short URL:
http://dblp.org/rec/journals/jsyml/Otto92 Martin Otto :
Automorphism Properties of Stationary Logic. 231-237 share record
short URL:
http://dblp.org/rec/journals/jsyml/Lascar92 Daniel Lascar :
Les Automorphismes d'un Ensemble Fortement Minimal. 238-251 Volume 57, Number 2, June 1992 export record
dblp key:
journals/jsyml/Uspensky92 share record
short URL:
http://dblp.org/rec/journals/jsyml/Uspensky92 export record
dblp key:
journals/jsyml/KechrisL92 share record
short URL:
http://dblp.org/rec/journals/jsyml/KechrisL92 share record
short URL:
http://dblp.org/rec/journals/jsyml/HellaL92 share record
short URL:
http://dblp.org/rec/journals/jsyml/Rubel92 Lee A. Rubel :
On the Ring of Differentially-Algebraic Entire Functions. 449-451 export record
dblp key:
journals/jsyml/Tzouvaras92 share record
short URL:
http://dblp.org/rec/journals/jsyml/Tzouvaras92 Athanassios Tzouvaras :
On Expandability of Models of Peano Arithmetic to Models of the Alternative Set Theory. 452-460 export record
dblp key:
journals/jsyml/Barbanel92 share record
short URL:
http://dblp.org/rec/journals/jsyml/Barbanel92 share record
short URL:
http://dblp.org/rec/journals/jsyml/Harnik92 Victor Harnik :
Provably Total Functions of Intuitionistic Bounded Arithmetic. 466-477 share record
short URL:
http://dblp.org/rec/journals/jsyml/Lavine92 share record
short URL:
http://dblp.org/rec/journals/jsyml/Lachlan92 export record
dblp key:
journals/jsyml/Villemaire92 share record
short URL:
http://dblp.org/rec/journals/jsyml/Villemaire92 share record
short URL:
http://dblp.org/rec/journals/jsyml/Jin92 share record
short URL:
http://dblp.org/rec/journals/jsyml/Jin92a Renling Jin :
U-Lusin Sets in Hyperfinite Time Lines. 528-533 share record
short URL:
http://dblp.org/rec/journals/jsyml/Jin92b Renling Jin :
U-Monad Topologies of Hyperfinite Time Lines. 534-539 export record
dblp key:
journals/jsyml/Pawlikowski92 share record
short URL:
http://dblp.org/rec/journals/jsyml/Pawlikowski92 share record
short URL:
http://dblp.org/rec/journals/jsyml/Wagner92 share record
short URL:
http://dblp.org/rec/journals/jsyml/McLarty92 export record
dblp key:
journals/jsyml/Ishihara92 share record
short URL:
http://dblp.org/rec/journals/jsyml/Ishihara92 Hajime Ishihara :
Continuity Properties in Constructive Mathematics. 557-565 share record
short URL:
http://dblp.org/rec/journals/jsyml/Rijke92 export record
dblp key:
journals/jsyml/Qinglong92 share record
short URL:
http://dblp.org/rec/journals/jsyml/Qinglong92 Zhang Qinglong :
The Density of the Meet-Inaccessible r. e. Degrees. 585-596 export record
dblp key:
journals/jsyml/Adamowicz92 share record
short URL:
http://dblp.org/rec/journals/jsyml/Adamowicz92 Zofia Adamowicz :
A Sharp Version of the Bounded Matijasevich Conjecture and the End-Extension Problem. 597-616 export record
dblp key:
journals/jsyml/MontenegroC92 share record
short URL:
http://dblp.org/rec/journals/jsyml/MontenegroC92 export record
dblp key:
journals/jsyml/Newelski92 share record
short URL:
http://dblp.org/rec/journals/jsyml/Newelski92 share record
short URL:
http://dblp.org/rec/journals/jsyml/GirardN92 share record
short URL:
http://dblp.org/rec/journals/jsyml/Kummer92 Martin Kummer :
A Proof of Beigel's Cardinality Conjecture. 677-681 export record
dblp key:
journals/jsyml/HarizanovKO92 share record
short URL:
http://dblp.org/rec/journals/jsyml/HarizanovKO92 export record
dblp key:
journals/jsyml/Bianconi92 share record
short URL:
http://dblp.org/rec/journals/jsyml/Bianconi92 share record
short URL:
http://dblp.org/rec/journals/jsyml/KuceraP92 export record
dblp key:
journals/jsyml/KuceraP92a share record
short URL:
http://dblp.org/rec/journals/jsyml/KuceraP92a export record
dblp key:
journals/jsyml/BallardH92 share record
short URL:
http://dblp.org/rec/journals/jsyml/BallardH92 Volume 57, Number 3, September 1992 share record
short URL:
http://dblp.org/rec/journals/jsyml/Mendez92 export record
dblp key:
journals/jsyml/Peterzil92 share record
short URL:
http://dblp.org/rec/journals/jsyml/Peterzil92 Ya'acov Peterzil :
A Structure Theorem for Semibounded Sets in the Reals. 779-794 export record
dblp key:
journals/jsyml/Dyckhoff92 share record
short URL:
http://dblp.org/rec/journals/jsyml/Dyckhoff92 Roy Dyckhoff :
Contraction-Free Sequent Calculi for Intuitionistic Logic. 795-807 share record
short URL:
http://dblp.org/rec/journals/jsyml/Duret92 Jean-Louis Duret :
Équivalence élémentaire et Isomorphisme des Corps de Courbe sur un Corps Algébriquement Clos. 808-823 export record
dblp key:
journals/jsyml/FriedmanM92 share record
short URL:
http://dblp.org/rec/journals/jsyml/FriedmanM92 share record
short URL:
http://dblp.org/rec/journals/jsyml/Biro92 Balázs Biró :
Non-Finite-Axiomatizability Results in Algebraic Logic. 832-843 export record
dblp key:
journals/jsyml/Montagna92 share record
short URL:
http://dblp.org/rec/journals/jsyml/Montagna92 Franco Montagna :
Polynomially and Superexponentially Shorter Proofs in Fragments of Logic. 844-863 export record
dblp key:
journals/jsyml/Ambos-SpiesNS92 share record
short URL:
http://dblp.org/rec/journals/jsyml/Ambos-SpiesNS92 share record
short URL:
http://dblp.org/rec/journals/jsyml/KojmanS92 share record
short URL:
http://dblp.org/rec/journals/jsyml/Feldman92 Alex Feldman :
Recursion Theory in a Lower Semilattice. 892-911 share record
short URL:
http://dblp.org/rec/journals/jsyml/Rybakov92 share record
short URL:
http://dblp.org/rec/journals/jsyml/Swaen92 M. D. G. Swaen :
A Characterization of ML in Many-Sorted Arithmetic with Conditional Application. 924-953 share record
short URL:
http://dblp.org/rec/journals/jsyml/Rathjen92 Michael Rathjen :
A Proof-Theoretic Characterization of the Primitive Recursive Set Functions. 954-969 export record
dblp key:
journals/jsyml/Matsubara92 share record
short URL:
http://dblp.org/rec/journals/jsyml/Matsubara92 Yo Matsubara :
Saturated Ideals and the Singular Cardinal Hypothesis. 970-974 share record
short URL:
http://dblp.org/rec/journals/jsyml/Jin92c Renling Jin :
The Isomorphism Property Versus the Special Model Axiom. 975-987 export record
dblp key:
journals/jsyml/Dubhashi92 share record
short URL:
http://dblp.org/rec/journals/jsyml/Dubhashi92 export record
dblp key:
journals/jsyml/MacphersonPW92 share record
short URL:
http://dblp.org/rec/journals/jsyml/MacphersonPW92 share record
short URL:
http://dblp.org/rec/journals/jsyml/Jin92d Renling Jin :
A Theorem on the Isomorphism Property. 1011-1017 share record
short URL:
http://dblp.org/rec/journals/jsyml/FaginHV92 export record
dblp key:
journals/jsyml/Herrmann92 share record
short URL:
http://dblp.org/rec/journals/jsyml/Herrmann92 share record
short URL:
http://dblp.org/rec/journals/jsyml/Smith92 Stuart T. Smith :
Prime Numbers and Factorization in IE1 and Weaker Systems. 1057-1085 share record
short URL:
http://dblp.org/rec/journals/jsyml/Landver92 Avner Landver :
Baire Numbers, Uncountable Cohen Sets and Perfect-Set Forcing. 1086-1107 share record
short URL:
http://dblp.org/rec/journals/jsyml/JagerP92 share record
short URL:
http://dblp.org/rec/journals/jsyml/LemppL92 Steffen Lempp ,
Manuel Lerman :
The Existential Theory of the Pomset of r.e. Degrees with a Predicate for Single Jump Reducibility. 1120-1130 Volume 57, Number 4, December 1992 share record
short URL:
http://dblp.org/rec/journals/jsyml/Stanley92 share record
short URL:
http://dblp.org/rec/journals/jsyml/Servi92 share record
short URL:
http://dblp.org/rec/journals/jsyml/Gropp92 Ursula Gropp :
There Is No Sharp Transitivity on q6 when q Is a Type of Morely Rank 2. 1198-1212 share record
short URL:
http://dblp.org/rec/journals/jsyml/Maddux92 share record
short URL:
http://dblp.org/rec/journals/jsyml/Wang92 export record
dblp key:
journals/jsyml/Kohlenbach92 share record
short URL:
http://dblp.org/rec/journals/jsyml/Kohlenbach92 Ulrich Kohlenbach :
Effective Bounds from Ineffective Proofs in Analysis: An Application of Functional Interpretation and Majorization. 1239-1273 export record
dblp key:
journals/jsyml/Lambalgen92 share record
short URL:
http://dblp.org/rec/journals/jsyml/Lambalgen92 export record
dblp key:
journals/jsyml/Nagayama92 share record
short URL:
http://dblp.org/rec/journals/jsyml/Nagayama92 Misao Nagayama :
On Boolean Algebras and Integrally Closed Commutative Regular Rings. 1305-1318 share record
short URL:
http://dblp.org/rec/journals/jsyml/GabbayQ92 share record
short URL:
http://dblp.org/rec/journals/jsyml/Petry92 A. Pétry :
Stratified Languages. 1366-1376 export record
dblp key:
journals/jsyml/Zakharyaschev92 share record
short URL:
http://dblp.org/rec/journals/jsyml/Zakharyaschev92 export record
dblp key:
journals/jsyml/Landver92a share record
short URL:
http://dblp.org/rec/journals/jsyml/Landver92a share record
short URL:
http://dblp.org/rec/journals/jsyml/Dalen92 Dirk van Dalen :
The Continuum and First-Order Intuitionistic Logic. 1417-1424 export record
dblp key:
journals/jsyml/Orlowska92 share record
short URL:
http://dblp.org/rec/journals/jsyml/Orlowska92 Ewa Orlowska :
Relational Proof System for Relevant Logics. 1425-1440 share record
short URL:
http://dblp.org/rec/journals/jsyml/Corazza92 Paul Corazza :
Ramsey Sets, the Ramsey Ideal, and Other Classes over R. 1441-1468 export record
dblp key:
journals/jsyml/BorovikN92 share record
short URL:
http://dblp.org/rec/journals/jsyml/BorovikN92
Google
Google Scholar
MS Academic Search
CiteSeerX
Semantic Scholar
data released under the ODC-BY 1.0 license; see also our legal information page
last updated on 2016-09-27 00:05 CEST by the dblp team