The following pages link to Journal of Symbolic Logic (Q2710590):
Displaying 50 items.
- Definability in low simple theories (Q2710591) (← links)
- A polarized partition relation using elementary substructures (Q2710592) (← links)
- Admissibility of structural rules for contraction-free systems of intuitionistic logic (Q2710593) (← links)
- Inconsistent models of arithmetic Part II: the general case (Q2710594) (← links)
- Topological elementary equivalence of closed semi-algebraic sets in the real plane (Q2710595) (← links)
- Logics of belief change without linearity (Q2710596) (← links)
- All intermediate logics with extra axioms in one variable, except eight, are not strongly <i>ω</i>-complete (Q2710597) (← links)
- Computable Boolean algebras (Q2710598) (← links)
- Applications of PCF theory (Q2710599) (← links)
- Le problème des grandes puissances et celui des grandes racines (Q2710600) (← links)
- Strong 0-1 laws in finite model theory (Q2710601) (← links)
- A note on equational theories (Q2710602) (← links)
- More on Cichoń's diagram and infinite games (Q2710603) (← links)
- On the commutativity of jumps (Q2710604) (← links)
- Epsilon-logic is more expressive than first-order logic over finite structures (Q2710605) (← links)
- A model complete theory of valued <i>D</i>-fields (Q2710606) (← links)
- Interpreting classical theories in constructive ones (Q2710607) (← links)
- ◇ at Mahlo cardinals (Q2710608) (← links)
- More on entangled orders (Q2710609) (← links)
- Minimal fields (Q2710610) (← links)
- Nonstandard analysis in topology: nonstandard and standard compactifications (Q2710611) (← links)
- A lambda proof of the P-W theorem (Q2710612) (← links)
- Expedited Broda-Damas bracket abstraction (Q2710613) (← links)
- The rise and fall of typed sentences (Q2710614) (← links)
- Recursive inseparability for residual bounds of finite algebras (Q2710615) (← links)
- Actions of non-compact and non-locally compact Polish groups (Q2710616) (← links)
- Identity crises and strong compactness (Q2710617) (← links)
- Inconsistency of the Axiom of Choice with the positive theory (Q2710618) (← links)
- On the strength of Ramsey's theorem for pairs (Q2732267) (← links)
- Wadge hierarchy and Veblen hierarchy Part I: Borel sets of finite rank (Q2732268) (← links)
- Strong axioms of infinity in <i>NFU</i> (Q2732269) (← links)
- Minimal but not strongly minimal structures with arbitrary finite dimensions (Q2732270) (← links)
- Hyperimaginaries and automorphism groups (Q2732271) (← links)
- Chang's Conjecture and the Non-Stationary Ideal (Q2732272) (← links)
- Minimum propositional proof length is NP-hard to linearly approximate (Q2732273) (← links)
- – <i>CA</i><sub>0</sub> and order types of countable ordered groups (Q2732274) (← links)
- Undecidable theories of Lyndon algebras (Q2732275) (← links)
- Syntactical truth predicates for second order arithmetic (Q2732276) (← links)
- Cohen-stable families of subsets of integers (Q2732277) (← links)
- Modules with few types over a hereditary noetherian prime ring (Q2732278) (← links)
- On the admissible rules of intuitionistic propositional logic (Q2732279) (← links)
- Distance semantics for belief revision (Q2732280) (← links)
- Cohen reals from small forcings (Q2732281) (← links)
- Modèles saturés et modèles engendrés par des indiscernables (Q2732283) (← links)
- Existentially closed structures and Gödel's second incompleteness theorem (Q2732285) (← links)
- Some independence results for control structures in complete numberings (Q2732286) (← links)
- An intensional type theory: motivation and cut-elimination (Q2732287) (← links)
- A remark on Martin's Conjecture (Q2732288) (← links)
- λμ-calculus and Böhm's theorem (Q2732290) (← links)
- Fibring: completeness preservation (Q2732291) (← links)
