13629 results in The Journal of Symbolic Logic
On axiomatising products of Kripke frames
-
- Journal:
- The Journal of Symbolic Logic / Volume 65 / Issue 2 / June 2000
- Published online by Cambridge University Press:
- 12 March 2014, pp. 923-945
- Print publication:
- June 2000
-
- Article
- Export citation
Subprevarieties versus extensions. Application to the logic of paradox
-
- Journal:
- The Journal of Symbolic Logic / Volume 65 / Issue 2 / June 2000
- Published online by Cambridge University Press:
- 12 March 2014, pp. 756-766
- Print publication:
- June 2000
-
- Article
- Export citation
The real line in elementary submodels of set theory
-
- Journal:
- The Journal of Symbolic Logic / Volume 65 / Issue 2 / June 2000
- Published online by Cambridge University Press:
- 12 March 2014, pp. 683-691
- Print publication:
- June 2000
-
- Article
-
- You have access
- Export citation
Weakly algebraizable logics
-
- Journal:
- The Journal of Symbolic Logic / Volume 65 / Issue 2 / June 2000
- Published online by Cambridge University Press:
- 12 March 2014, pp. 641-668
- Print publication:
- June 2000
-
- Article
- Export citation
Killing ideals and adding reals
-
- Journal:
- The Journal of Symbolic Logic / Volume 65 / Issue 2 / June 2000
- Published online by Cambridge University Press:
- 12 March 2014, pp. 747-755
- Print publication:
- June 2000
-
- Article
- Export citation
New techniques and completeness results for preferential structures
-
- Journal:
- The Journal of Symbolic Logic / Volume 65 / Issue 2 / June 2000
- Published online by Cambridge University Press:
- 12 March 2014, pp. 719-746
- Print publication:
- June 2000
-
- Article
- Export citation
Supersimple ω-categorical groups and theories
-
- Journal:
- The Journal of Symbolic Logic / Volume 65 / Issue 2 / June 2000
- Published online by Cambridge University Press:
- 12 March 2014, pp. 767-776
- Print publication:
- June 2000
-
- Article
- Export citation
A note on the model theory of generalized polygons
-
- Journal:
- The Journal of Symbolic Logic / Volume 65 / Issue 2 / June 2000
- Published online by Cambridge University Press:
- 12 March 2014, pp. 692-702
- Print publication:
- June 2000
-
- Article
- Export citation
A note on uniform definability and minimal fields of definition
-
- Journal:
- The Journal of Symbolic Logic / Volume 65 / Issue 2 / June 2000
- Published online by Cambridge University Press:
- 12 March 2014, pp. 817-821
- Print publication:
- June 2000
-
- Article
- Export citation
The model theory of differential fields with finitely many commuting derivations
-
- Journal:
- The Journal of Symbolic Logic / Volume 65 / Issue 2 / June 2000
- Published online by Cambridge University Press:
- 12 March 2014, pp. 885-913
- Print publication:
- June 2000
-
- Article
- Export citation
JSL volume 65 issue 2 Cover and Front matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 65 / Issue 2 / June 2000
- Published online by Cambridge University Press:
- 12 March 2014, pp. f1-f2
- Print publication:
- June 2000
-
- Article
-
- You have access
- Export citation
Categorical quasivarieties via Morita equivalence
-
- Journal:
- The Journal of Symbolic Logic / Volume 65 / Issue 2 / June 2000
- Published online by Cambridge University Press:
- 12 March 2014, pp. 839-856
- Print publication:
- June 2000
-
- Article
- Export citation
Definability and undefinability with real order at the background
-
- Journal:
- The Journal of Symbolic Logic / Volume 65 / Issue 2 / June 2000
- Published online by Cambridge University Press:
- 12 March 2014, pp. 946-958
- Print publication:
- June 2000
-
- Article
- Export citation
A completeness theorem for higher order logics
-
- Journal:
- The Journal of Symbolic Logic / Volume 65 / Issue 2 / June 2000
- Published online by Cambridge University Press:
- 12 March 2014, pp. 857-884
- Print publication:
- June 2000
-
- Article
- Export citation
Rational Pavelka predicate logic is a conservative extension of Łukasiewicz predicate logic
-
- Journal:
- The Journal of Symbolic Logic / Volume 65 / Issue 2 / June 2000
- Published online by Cambridge University Press:
- 12 March 2014, pp. 669-682
- Print publication:
- June 2000
-
- Article
- Export citation
Closures in ℵ0-categorical bilinear maps
-
- Journal:
- The Journal of Symbolic Logic / Volume 65 / Issue 2 / June 2000
- Published online by Cambridge University Press:
- 12 March 2014, pp. 914-922
- Print publication:
- June 2000
-
- Article
- Export citation
Infinite time Turing machines
-
- Journal:
- The Journal of Symbolic Logic / Volume 65 / Issue 2 / June 2000
- Published online by Cambridge University Press:
- 12 March 2014, pp. 567-604
- Print publication:
- June 2000
-
- Article
- Export citation
A general formulation of simultaneous inductive-recursive definitions in type theory
-
- Journal:
- The Journal of Symbolic Logic / Volume 65 / Issue 2 / June 2000
- Published online by Cambridge University Press:
- 12 March 2014, pp. 525-549
- Print publication:
- June 2000
-
- Article
- Export citation
Liftez les sylows! Une suite à “Sous-groupes périodiques d'un groupe stable”
-
- Journal:
- The Journal of Symbolic Logic / Volume 65 / Issue 2 / June 2000
- Published online by Cambridge University Press:
- 12 March 2014, pp. 703-704
- Print publication:
- June 2000
-
- Article
- Export citation
Belief contraction as nonmonotonic inference
-
- Journal:
- The Journal of Symbolic Logic / Volume 65 / Issue 2 / June 2000
- Published online by Cambridge University Press:
- 12 March 2014, pp. 605-626
- Print publication:
- June 2000
-
- Article
- Export citation