Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDThe Journal of Symbolic Logic, Volume 58
Volume 58, Number 1, March 1993
- Joel Spencer:
Zero-One Laws with Variable Probability. 1-14 - Penelope Maddy:
Does V Equal L? 15-41 - Jacek Cichon, Andrzej Roslanowski, Juris Steprans, Bogdan Weglorz:
Combinatorial Properties of the Ideal P2. 42-54 - Masahiro Shioya:
Weakly Normal Closures of Filters on Pkappalambda. 55-63 - Charalampos Cornaros, Costas Dimitracopoulos:
A Note on Exponentiation. 64-71 - Haim Judah, Saharon Shelah
:
Delta13-Sets of Reals. 72-80 - Shaughan Lavine:
Generalized Reduction Theorems for Model-Theoretic Analogs of the Class of Coanalytic Sets. 81-98 - Andreas Knobel:
Constructive Set Theoretic Models of Typed Combinatory Logic. 99-118 - Julius B. Barbanel:
On the Relationship Between the Partition Property and the Weak Partition Property for Normal Ultrafilters on Pkappa lambda. 119-127 - Piotr Koszmider:
On Coherent Families of Finite-to-One Functions. 128-138 - Marcus Kracht:
Splittings and the Finite Model Property. 139-157 - Alexandra Shlapentokh:
Diophantine Relations Between Rings of S-Integers of Fields of Algebraic Functions in One Variable Over Constant Fields of Positive Characteristic. 158-192 - Carl G. Jockusch Jr., Theodore A. Slaman:
On the Sigma2-Theory of the Upper Semilattice of Turing Degrees. 193-204 - Oleg V. Belegradek:
Quasiunitriangular Groups. 205-218 - Masahiro Kumabe:
Every n-Generic Degree Is a Minimal Cover of an n-Generic Degree. 219-231 - Akito Tsuboi:
Algebraic Types and Automorphism Groups. 232-239 - James Cummings:
Strong Ultrapowers and Long Core Models. 240-248 - Konstantin N. Ignatiev:
On Strong Provability Predicates and the Associated Modal Logics. 249-290 - Robert S. Lubarsky:
µ-Definable Sets of Integers. 291-313 - Edward L. Keenan:
Natural Languages, Sortal Reducibility and Generalized Quantifiers. 314-325 - Sedki Boughattas:
Resultats Optimaux sur L'Existenece d'une Partie Entiere dans les Corps Ordonnes. 326-333 - Philip Kremer:
Quantifying over Propositions in Relevance Logic: Nonaxiomatisability of Primary Interpretations of forall p and exists p. 334-349
Volume 58, Number 2, June 1993
- Bruno Poizat, Frank O. Wagner:
Sous-Groupes Periodiques d'un Groupe Stable. 385-400 - Tomek Bartoszynski, Haim Judah, Saharon Shelah:
The Cichon Diagram. 401-423 - Pawel Pazdyka:
Definability of Models by Means of Existential Formulas without Identity. 424-434 - Saharon Shelah, D. H. Fremlin:
Pointwise Compact and Stable Sets of Measurable Functions. 435-455 - Margarita Otero:
Quadratic Forms in Normal Open Induction. 456-476 - Andrea Cantini:
Extending the First-Order Theory of Combinators with Self-Referential Truth. 477-513 - Gerard Allwein, J. Michael Dunn:
Kripke Models for Linear Logic. 514-545 - Mark Kelly Davis, Ali Nesin:
On Solvable Centerless Groups of Morley Rank 3. 546-556 - Douglas K. Brown, Stephen G. Simpson:
The Baire Category Theorem in Weak Subsystems of Second-Order Arithmetic. 557-578 - Richard G. Heck Jr.:
The Development of Arithmetic in Frege's Grundgesetze der Arithmetik. 579-601 - Sven Ove Hansson:
Theory Contraction and Base Contraction Unified. 602-625 - Yuichi Komori, Sachio Hirokawa:
The Number of Proofs for a BCK-Formula. 626-628 - Peter Cholak, Rodney G. Downey:
On the Cantor-Bendixon Rank of Recursively Enumerable Sets. 629-640 - M. H. Mourgues, Jean-Pierre Ressayre:
Every Real Closed Field Has an Integer Part. 641-647 - Ludomir Newelski:
Scott Analysis of Pseudotypes. 648-663 - Andreas Weiermann:
Bounds for the Closure Ordinals of Essentially Monotonic Increasing Functions. 664-671 - P. T. Bateman, Carl G. Jockusch Jr., Alan R. Woods:
Decidability and Undecidability of Theories with a Predicate for the Primes. 672-687 - Maria Luisa Bonet, Samuel R. Buss:
The Deduction Rule and Linear and Near-Linear Proof Simulations. 688-709
Volume 58, Number 3, September 1993
- Henk Barendregt, Martin W. Bunder, Wil Dekkers:
Systems of Illative Combinatory Logic Complete for First-Order Propositional and Predicate Calculus. 769-788 - Makoto Tatsuta:
Uniqueness of Normal Proofs of Minimal Formulas. 789-799 - Dov M. Gabbay, Valentin B. Shehtman:
Undedidability of Modal and Intermediate First-Order Logics with Two Individual Variables. 800-823 - Richard A. Shore, Theodore A. Slaman:
Working below a Highly Recursively Enumerable Degree. 824-859 - Carlos A. Di Prisco, James M. Henle:
Partitions of Products. 860-871 - G. P. Monro:
Logic, Sheaves, and Factorization Systems. 872-893 - Alexander S. Kechris:
Amenable Versus Hyperfinite Borel Equivalence Relations. 894-907 - Warren D. Goldfarb:
Random Models and Solvable Skolem Classes. 908-914 - Rafel Farré:
A Transfer Theorem for Henselian Valued and Ordered Fields. 915-930 - John R. Steel:
The Well-Foundedness of the Mitchell Order. 931-940 - Dror Ben-Arié, Haim Judah:
Delta31-Stability. 941-954 - Ya'acov Peterzil:
Reducts of Some Structures over the Reals. 955-966 - Alexander V. Chagrov, Michael Zakharyaschev:
The Undecidability of the Disjunction Property of Propositional Logics and Other Related Problems. 967-1002 - Yde Venema:
Derivation Rules as Anti-Axioms in Modal Logic. 1003-1034 - Marion Scheepers:
Variations on a Game of Gale (I): Coding Strategies. 1035-1043 - Frank O. Wagner:
Quasi-Endomorphisms in Small Stable Groups. 1044-1051 - Alan H. Mekler, Jouko A. Väänänen:
Trees and Pi11-Subsets of omega1\omega1. 1052-1070 - Jürgen Dix, Martin Kummer:
Herbrand's Theorem for Nonstandard Inference Operations (Abstract). 1116-1117
Volume 58, Number 4, December 1993
- Greg Hjorth:
Thin Equivalence Relations and Effective Decompositions. 1153-1164 - Siu-Ah Ng:
A Remark on Locally Pure Measures. 1165-1170 - Rvszard Frankiewicz, Saharon Shelah, Pawel Zbierski:
On Closed P-Sets with ccc in the Space omega*. 1171-1176 - John Todd Hammond:
Nonisomorphism of Lattices of Recursively Enumerable Sets. 1177-1188 - Michael C. Laskowski, Saharon Shelah:
On the Existence of Atomic Models. 1189-1194 - Erik Palmgren:
A Note on Mathematics of infinity. 1195-1200 - Kecheng Liu:
Stationary Subsets of (aleph(omega)) < omega(n). 1201-1218 - Friedrich Wehrung:
Boolean Universes above Boolean Models. 1219-1250 - Stefano Stefani:
A Relativization Mechanism in Recursion Categories. 1251-1267 - Juris Steprans:
A Very Discontinuous Borel Function. 1268-1283 - Jörg Brendle:
Amoeba-Absoluteness and Projective Measurability. 1284-1290 - John T. Baldwin, Michael C. Laskowski, Saharon Shelah:
Forcing Isomorphism. 1291-1301 - Elisabeth Bouscaren, Michael C. Laskowski:
S-Homogeneity and Automorphism Groups. 1302-1322 - Martin Goldstern, Haim Judah, Saharon Shelah:
Strong Measure Zero Sets Without Cohen Reals. 1323-1341 - Daniel Gluschankof, François Lucas:
Hyper-Regular Lattice-Ordered Groups. 1342-1358 - James J. Moloney:
An Existence Theorem for a Special Ultrafilter when d = c. 1359-1364 - Mauro Ferrari, Pierangelo Miglioli:
Counting the Maximal Intermediate Constructive Logics. 1365-1401 - Saharon Shelah, Heikki Tuuri, Jouko A. Väänänen:
On the Number of Automorphisms of Uncountable Models. 1402-1418 - Bradd Hart, Sergei Starchenko:
Addendum to "A Structure Theorem for Strongly Abelian Varieties". 1419-1425 - Hans Rott:
Belief Contraction in the Context for the General Theory of Rational Choice. 1426-1450 - Anatole Khelif:
The Bass-Milnor-Serre Theorem for Nonstandard Models in Peano Arithmetic. 1451-1458
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-25 05:28 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
