Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDThe Journal of Symbolic Logic, Volume 60
Volume 60, Number 1, March 1995
- Saharon Shelah
, Lee J. Stanley:
A Combinatorial Forcing for Coding the Universe by a Real When There Are No Sharps. 1-35
- Saharon Shelah, Lee J. Stanley:
The Combinatorics of Combinatorial Coding by a Real. 36-57 - Martin Goldstern, Saharon Shelah:
The Bounded Proper Forcing Axiom. 58-73 - Lou van den Dries, Adam H. Lewenberg:
T-Convexity and Tame Extensions. 74-102 - Aleksandar Ignjatovic:
Delineating Classes of Computational Complexity via Second Order Theories with Weak Set Existence Principles, I. 103-121 - Rolando Chuaqui, Patrick Suppes:
Free-Variable Axiomatic Foundations of Infinitesimal Analysis: A Fragment with Finitary Consistency Proof. 122-159 - Masanao Ozawa:
Scott Incomplete Boolean Ultrapowers of the Real Line. 160-171 - James M. Henle:
The Consistency of One Fixed Omega. 172-177 - M. Randall Holmes:
The Equivalence of NF-Style Set Theories with "Tangled" Type Theories; The Construction of omega-Models of Predicative NF (and More). 178-190 - Jan Mycielski:
New Set-Theoretic Axioms Derived from a Lean Metamathematics. 191-198 - Carl G. Jockusch Jr., Alexandra Shalpentokh:
Weak Presentation of Computable Fields. 199-208 - John L. Bell:
Type Reducing Correspondences and Well-Orderings: Frege's and Zermelo's Constructions Re-examined. 209-221 - Julia F. Knight:
Requirement Systems. 222-245 - John T. Baldwin, Saharon Shelah:
Abstract Classes with Few Models Have 'Homogeneous-Universal' Models. 246-265 - Vladimir V. Rybakov:
Hereditarily Structurally Complete Modals Logics. 266-288 - Victor L. Selivanov:
Fine Hierarchies and Boolean Terms. 289-317 - Vladimir Kanovei:
Uniqueness, Collection, and External Collapse of Cardinals in IST and Models of Peano Arithmetic. 318-324 - Thierry Coquand:
A Semantics of Evidence for Classical Arithmetic. 325-337
Volume 60, Number 2, June 1995
- Bernhard Herwig:
Weight omega in Stable Theories with Few Types. 353-373 - Haim Judah, Andrzej Roslanowski:
Martin's Axiom and the Continuum. 374-391 - Gregory L. McColm:
The Dimension of the Negation of Transitive Closure. 392-414 - Greg Bishop:
Ultrafilters Generated by a Closed Set of Functions. 415-430 - Peter Nyikos, Leszek Piatkiewicz:
On the Equivalence of Certain Consequences of the Proper Forcing Axiom. 431-443 - Grzegorz Labedzki, Miroslav Repický:
Hechler Reals. 444-458 - Ming Xu:
On the Basic Logic of STIT with a Single Agent. 459-483 - Luc Bélair:
Anneaux de Fonctions p-adiques. 484-497 - Dick De Jongh, L. A. Chagrova:
The Decidability of Dependency in Intuitionistic Propositional Logic. 498-504 - Yue Yang:
The Thickness Lemma from P- + I Sigma1 + not B Sigma2. 505-511 - James H. Schmerl:
The Isomorphism Property for Nonstandard Universes. 512-516 - Martin Grohe:
Complete Problems for Fixed-Point Logics. 517-527 - Anand Pillay, Bruno Poizat:
Corps et Chirurgie. 528-533 - Jirí Witzany:
Possible Behaviours of the Reflection Ordering of Stationary Sets. 534-547 - Gérard Leloup:
Élimination des Quantificateurs dans des Paires de Corps. 548-562 - Giovanni Panti:
A Geometric Proof of the Completeness of the Lukasiewicz Calculus. 563-578 - Edwin D. Mares:
A Star-Free Semantics for R. 579-590 - Yde Venema:
Cylindrical Modal Logic. 591-623 - James E. Baumgartner:
Ultrafilters on omega. 624-639 - Daniel Dzierzgowski:
Models of Intuitionistic TT and NF. 640-653 - Terrence Millar:
Model Completeness and Omitting Types. 654-672 - Enrique Casanovas:
Compactly Expandable Models and Stability. 673-683
Volume 60, Number 3, September 1995
- Otmar Spinas:
Generic Trees. 705-726 - Rodney G. Downey, Richard A. Shore:
Degree Theoretic Definitions of the low2 Recursively Enumerable Sets. 727-756 - Frank Wolter:
The Finite Model Property in Tense Logic. 757-774 - Hajnal Andréka, Steven Givant, István Németi:
Perfect Extensions and Derived Algebras. 775-796 - Robert J. Poston:
Defining Multiplication in o-Minimal Expansions of the Additive Reals. 797-816 - Michael C. Laskowski, Charles Steinhorn:
On o-Minimal Expansions of Archimedean Ordered Groups. 817-831 - Peter Apostoli, Bryson Brown:
A Solution to the Completeness Problem for Weakly Aggregative Modal Logic. 832-842 - Jan E. Holly:
Canonical Forms for Definable Subsets of Algebraically Closed and Real Closed Valued Fields. 843-860 - Giovanni Sambin:
Pretopologies and Completeness Proofs. 861-878 - Thomas E. Leathrum:
A Special Class of Almost Disjoint Families. 879-891 - James D. Sharp, Simon Thomas:
Some Questions Concerning the Cofinality of Sym(kappa). 892-897 - Margit Messmer, Carol Wood:
Separably Closed Fields with Higher Derivation I. 898-910 - Silvio Ghilardi, Marek W. Zawadowski:
A Sheaf Representation and Duality for Finitely Presenting Heyting Algebras. 911-939 - Peter Koepke, Juan Carlos Martínez:
Superatomic Boolean Algebras Constructed from Morasses. 940-951 - Erich Grädel, Yuri Gurevich:
Tailoring Recursion for Complexity. 952-969 - Hajnal Andréka, Ivo Düntsch, István Németi:
Expressibility of Properties of Relations. 970-991 - James Cummings, Saharon Shelah:
A Model in Which Every Boolean Algebra Has Many Subalgebras. 992-1004
Volume 60, Number 4, December 1995
- Derrick Albert DuBose:
Determinacy and the Sharp Function on Objects of Type k. 1025-1053 - René David, Karim Nour:
Storage Operators and Directed Lambda-Calculus. 1054-1086 - Brian A. Davey, Miroslav Haviar, Hilary A. Priestley:
The Syntax and Semantics of Entailment in Duality Theory. 1087-1114 - Paul E. Howard, Jean E. Rubin:
The Axiom of Choice for Well-Ordered Families and for Familes of Well-Orderable Sets. 1115-1117 - Steffen Lempp, André Nies:
The Undecidability of the Pi4-Theory for the R. E. WTT and Turing Degrees. 1118-1136 - James H. Schmerl:
A Reflection Principle and its Applications to Nonstandard Models. 1137-1152 - Taneli Huuskonen:
Comparing Notions of Similarity for Uncountable Models. 1153-1167 - Haim Judah, Miroslav Repický:
Amoeba Reals. 1168-1185 - Andreas Blass:
An Induction Principle and Pigeonhole Principles for K-Finite Sets. 1186-1193 - Deko V. Dekov:
Embeddability and the Word Problem. 1194-1198 - Greg Hjorth:
A Dichotomy for the Definable Universe. 1199-1207 - Zlatan Damnjanovic:
Minimal Realizability of Intuitionistic Arithmetic and Elementary Analysis. 1208-1241 - Jaroslav Jezek, George F. McNulty:
The Existence of Finitely Based Lower Covers for Finitely Based Equational Theories. 1242-1250 - Anand Pillay:
The Geometry of Forking and Groups of Finite Morley Rank. 1251-1259 - Tapani Hyttinen, Saharon Shelah:
Constructing Strongly Equivalent Nonisomorphic Models for Unsuperstable Theories, Part B. 1260-1272 - Greg Hjorth, Alexander S. Kechris:
Analytic Equivalence Relations and Ulm-Type Classifications. 1273-1300 - Leonard Lipshitz, Thanases Pheidas:
An Analogue of Hilbert's Tenth Problem for p-adic Entire Functions. 1301-1309
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 2023-06-05 01:00 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:
