The following pages link to Journal of Symbolic Logic (Q2710590):
Displaying 50 items.
- On polynomial time computation over unordered structures (Q4779654) (← links)
- The torsionfree part of the Ziegler spectrum of <i>RG</i> when <i>R</i> is a Dedekind domain and <i>G</i> is a finite group (Q4779655) (← links)
- Bounded Martin's Maximum, weak Erdӧs cardinals, and <i>ψ</i><sub><i>Ac</i></sub> (Q4779656) (← links)
- Transfinite dependent choice and <i>ω</i>-model reflection (Q4779657) (← links)
- On regular reduced products (Q4779658) (← links)
- Rangs et types de rang maximum dans les corps différentiellement clos (Q4779659) (← links)
- On Lascar rank and Morley rank of definable groups in differentially closed fields (Q4779660) (← links)
- Core models with more Woodin cardinals (Q4779661) (← links)
- Sequences of <i>n</i>-diagrams (Q4779662) (← links)
- A power function with a fixed finite gap everywhere (Q5294017) (← links)
- Asymptotic classes of finite structures (Q5294018) (← links)
- The basic intuitionistic logic of proofs (Q5294019) (← links)
- Δ<sub>3</sub><sup>O</sup>-determinacy, comprehension and induction (Q5294020) (← links)
- Sublocales in formal topology (Q5294021) (← links)
- On sets not belonging to algebras (Q5294022) (← links)
- Ideal convergence of bounded sequences (Q5294023) (← links)
- An analysis of the W*-hierarchy (Q5294024) (← links)
- Connecting many-sorted theories (Q5294025) (← links)
- Simplicial structures in MV-algebras and logic (Q5294026) (← links)
- Successor-invariant first-order logic on finite structures (Q5294027) (← links)
- Burgess’<i>PV</i>is Robinson’s<i>Q</i> (Q5294028) (← links)
- Transfer principle in quantum set theory (Q5294029) (← links)
- NP search problems in low fragments of bounded arithmetic (Q5294030) (← links)
- Relation algebra reducts of cylindric algebras and complete representations (Q5294031) (← links)
- Assignment of ordinals to patterns of resemblance (Q5294032) (← links)
- Valuation theoretic content of the Marker-Steinhorn theorem (Q5311709) (← links)
- A weak variation of shelah's <i>I</i>[<i>ω</i><sub>2</sub>] (Q5311710) (← links)
- Analytic countably splitting families (Q5311711) (← links)
- First order quantifiers in monadic second order logic (Q5311712) (← links)
- Model theory of comodules (Q5311713) (← links)
- Splittings of effectively speedable sets and effectively levelable sets (Q5311714) (← links)
- A definable nonstandard model of the reals (Q5311715) (← links)
- Standard sets in nonstandard set theory (Q5311717) (← links)
- Truth definitions in finite models (Q5311718) (← links)
- Approximate Euler characteristic, dimension, and weak pigeonhole principles (Q5311719) (← links)
- Forking and independence in o-minimal theories (Q5311720) (← links)
- A definability result for compact complex spaces (Q5311722) (← links)
- Wild edge colourings of graphs (Q5311723) (← links)
- Dual weak pigeonhole principle, pseudo-surjective functions, and provability of circuit lower bounds (Q5311724) (← links)
- Parsimony hierarchies for inductive inference (Q5311725) (← links)
- On first-order sentences without finite models (Q5311726) (← links)
- A completeness theorem for symmetric product phase spaces (Q5311727) (← links)
- A universal extender model without large cardinals in <i>V</i> (Q5311728) (← links)
- Implicit proofs (Q5311729) (← links)
- On almost orthogonality in simple theories (Q5311730) (← links)
- Bi-isolation in the d.c.e. degrees (Q5311731) (← links)
- A partial analysis of modified realizability (Q5311732) (← links)
- Degree spectra of prime models (Q5311733) (← links)
- Formalized token models and duality in semantics: an algebraic approach (Q5311734) (← links)
- On a question of Herzog and Rothmaler (Q5311735) (← links)
