The following pages link to Journal of Symbolic Logic (Q2710590):
Displaying 50 items.
- Fat sets and saturated ideals (Q4650258) (← links)
- Discouraging results for ultraimaginary independence theory (Q4650259) (← links)
- Strong normalization proof with CPS-translation for second order classical natural deduction (Q4650260) (← links)
- Existential definability with bounds on archimedean valuations (Q4650261) (← links)
- Non-well-foundedness of well-orderable power sets (Q4650262) (← links)
- The approximation structure of a computably approximable real (Q4650263) (← links)
- Differential forms in the model theory of differential fields (Q4650264) (← links)
- Elementary properties of the Boolean hull and reduced quotient functors (Q4650265) (← links)
- A hierarchy for the plus cupping Turing degrees (Q4650266) (← links)
- Embedding jump upper semilattices into the Turing degrees (Q4650267) (← links)
- Classical and constructive hierarchies in extended intuitionistic analysis (Q4650268) (← links)
- Isomorphisms of splits of computably enumerable sets (Q4650269) (← links)
- Universally Baire sets and definable well-orderings of the reals (Q4650270) (← links)
- A theory for Log-Space and NLIN versus co-NLIN (Q4650271) (← links)
- The axiom of choice and combinatory logic (Q4650272) (← links)
- Ranked partial structures (Q4650273) (← links)
- Simple stable homogeneous groups (Q4650274) (← links)
- Cardinal-preserving extensions (Q4650275) (← links)
- Partitioning large vector spaces (Q4650276) (← links)
- An application of Kochen's theorem (Q4650277) (← links)
- Recovering ordered structures from quotients of their automorphism groups (Q4650278) (← links)
- A computably categorical structure whose expansion by a constant has infinite computable dimension (Q4650279) (← links)
- Parallel strategies (Q4650280) (← links)
- Finite-to-one maps (Q4650281) (← links)
- Additivity properties of topological diagonalizations (Q4650282) (← links)
- Distinguishing types of gaps in (<i>ω</i>)/fin (Q4650283) (← links)
- A short proof of the strong normalization of classical natural deduction with disjunction (Q4650284) (← links)
- Proof normalization modulo (Q4650285) (← links)
- Categoricity and U-rank in excellent classes (Q4650286) (← links)
- Ordering MAD families a la Katětov (Q4650287) (← links)
- The cofinality of the infinite symmetric group and groupwise density (Q4650289) (← links)
- The Kolmogorov-Loveland stochastic sequences are not closed under selecting subsequences (Q4650290) (← links)
- On countable simple unidimensional theories (Q4650291) (← links)
- Ample Dividing (Q4650292) (← links)
- A proof-theoretic study of the correspondence of classical logic and modal logic (Q4650293) (← links)
- ℵ<sub>0</sub>-categorical structures with arbitrarily fast growth of algebraic closure (Q4779639) (← links)
- Some results on permutation group isomorphism and categoricity (Q4779640) (← links)
- Blowing up the power set of the least measurable (Q4779641) (← links)
- 0<sup>#</sup> and inner models (Q4779642) (← links)
- <b>PDL</b> has interpolation (Q4779643) (← links)
- Defining transcendentals in function fields (Q4779644) (← links)
- Properties of forking in ω-free pseudo-algebraically closed fields (Q4779645) (← links)
- The theory of modules of separably closed fields 1 (Q4779646) (← links)
- On the binding group in simple theories (Q4779647) (← links)
- Generic variations of models of<i>T</i> (Q4779648) (← links)
- Representability in second-order propositional poly-modal logic (Q4779649) (← links)
- Isolation and lattice embeddings (Q4779650) (← links)
- The lazy logic of partial terms (Q4779651) (← links)
- Generalized r-cohesiveness and the arithmetical hierarchy: a correction to “Generalized cohesiveness” (Q4779652) (← links)
- Strong convergence in finite model theory (Q4779653) (← links)
