The journal of symbolic logic. Vol 41. Number 1976 icon

The journal of symbolic logic. Vol 41. Number 1976



Similar
1   2   3   4
0’The journal of symbolic logic. Vol. 51. Number 3, 1986 página 770-777


Xavier Caicedo. “A simple solution to Friedman’s fourth problem” The journal of symbolic logic. Vol. 51. Number 3, 1986 página 778-784


Daniele Mundici. “Inverse topological systems and compactness in abstract model theory” ^ The journal of symbolic logic. Vol. 51. Number 3, 1986 página 785-794


Bruno Poizat. “`A l’ ouest d’ Éden” The journal of symbolic logic. Vol. 51. Number 3, 1986 página 795-816


THE JOURNAL OF SYMBOLIC LOGIC. VOL 51. Number 4. 1986.


Robert L. Vaught. “Alfred Tarki’s work in model theory” The journal of symbolic logic. Vol. 51. Number 4, 1986 página 869-882


Bjarni Jónsson. “The contributions of Alfred Tarki’s to general algebra” The journal of symbolic logic. Vol. 51. Number 4, 1986 página 883-889


George F. Mc Nulty. “Alfred Tarki’s and undecidable theories” The journal of symbolic logic. Vol. 51. Number 4, 1986 página 890-898


J. Donald Monk. “The contributions of Alfred Tarki’s to algebraic logic” The journal of symbolic logic. Vol. 51. Number 4, 1986 página 899-906


L. W. Szczerba. “Tarki’s and geometry” The journal of symbolic logic. Vol. 51. Number 4, 1986 página 907-912


Steven Givant. “Bibliography of Alfred Tarki’s” The journal of symbolic logic. Vol. 51. Number 4, 1986 página 913-941


Gerhard Jäger. “A boundedness theorem in ID 1 (W)” The journal of symbolic logic. Vol. 51. Number 4, 1986 página 942-947


Jean-Louis Duret. “Sur la théorie élémentaire des corps de fonctions” The journal of symbolic logic. Vol. 51. Number 4, 1986 página 948-956


Janusz Pawlikowski. “Why solovay real produces Cohen real” The journal of symbolic logic. Vol. 51. Number 4, 1986 página 957-968


George Weaver and Jefrey Welaish. “Back and forth constructions in modal logic: An interpolation theorem for a family of modal logics” The journal of symbolic logic. Vol. 51. Number 4, 1986 página 969-980


Serban A. Basarab. “Transfer principles for pseudo real closed e-fold ordered fields” The journal of symbolic logic. Vol. 51. Number 4, 1986 página 981-991


James Van Aken. “Axioms for the set-theoretic hierarchy” The journal of symbolic logic. Vol. 51. Number 4, 1986 página 992-1004


Ali Enayat. “Conservative extensions of models of set theory and generalizations” The journal of symbolic logic. Vol. 51. Number 4, 1986 página 1005-1021


Nobuyoshi Motohashi. “Preservation theorem and relativization theorem for cofinal extensions” The journal of symbolic logic. Vol. 51. Number 4, 1986 página 1022-1028


Shai Ben-David and Menachem Magidor. “The weak □* is really weaker than the full □” The journal of symbolic logic. Vol. 51. Number 4, 1986 página 1029-1033


Julia F. Knight. “Degrees coded in jumps of orderings” The journal of symbolic logic. Vol. 51. Number 4, 1986 página 1034-1042


Terry Millar. “Bad models in nice neighborhoods” The journal of symbolic logic. Vol. 51. Number 4, 1986 página 1043-1055


Dan Velleman. “On a combinatorial principle of Hajnal and Komjáth” The journal of symbolic logic. Vol. 51. Number 4, 1986 página 1056-1060


THE JOURNAL OF SYMBOLIC LOGIC. VOL 52. Number 1. 1987.


Larry Stock-Meyer. “Classifying the computational complexity of problems” The journal of symbolic logic. Vol. 52. Number 1, 1987 página 1-43


William Mitchell. “Prikry forcing at k+ and beyond” The journal of symbolic logic. Vol. 52. Number 1, 1987 página 44-50


Jan Tryba. “No Jónsson filters over NwThe journal of symbolic logic. Vol. 52. Number 1, 1987 página 51-53


Paul Eklof and Hans-Christian Mez. “Modules of existentially closed algebras” The journal of symbolic logic. Vol. 52. Number 1, 1987 página 54-63


Philip Welch. “The reals in core models” The journal of symbolic logic. Vol. 52. Number 1, 1987 página 64-67


Joan Rand Moschovakis. “Relative lawlessness in intuitionistic analysis” The journal of symbolic logic. Vol. 52. Number 1, 1987 página 68-88


M. W. Bunder. “Some consistency proofs and a characterization of inconsistency proofs in illative combinatory logic” The journal of symbolic logic. Vol. 52. Number 1, 1987 página 89-110


P. Komjáth. “Morassess and the Lévy-collapse” The journal of symbolic logic. Vol. 52. Number 1, 1987 página 111-115


M. A. Dickmann. “Elimination of quantifiers for ordered valuation rings” The journal of symbolic logic. Vol. 52. Number 1, 1987 página 116-128


Matt Kaufmann and James H. Schmerl. “Remarks on weak notions of saturation in models of Peano arithmetic” The journal of symbolic logic. Vol. 52. Number 1, 1987 página 129-148


J. M. Henle. “Concerning ultrafilters on ultrapowers” The journal of symbolic logic. Vol. 52. Number 1, 1987 página 149-151


S. P. Tung. “Definability in number fields” The journal of symbolic logic. Vol. 52. Number 1, 1987 página 152-155


Anand Pillay and Charles Steinhorn. “On Dedeking complete o-minimal structures” The journal of symbolic logic. Vol. 52. Number 1, 1987 página 156-164


George Boolos and Vann McGee. “The degree of the set of sentence of predicate provability logic that are true under every interpretation” The journal of symbolic logic. Vol. 52. Number 1, 1987 página 165-171


Valentin F. Turchin. “A constructive interpretation of the full set theory” The journal of symbolic logic. Vol. 52. Number 1, 1987 página 172-201


Colin McLarty. “Elementary axioms for canonical points of toposes” The journal of symbolic logic. Vol. 52. Number 1, 1987 página 202-204


David Marker. “A strongly minimal expansion of (w,s)” The journal of symbolic logic. Vol. 52. Number 1, 1987 página 205-207


Robert S. Lubarsky. “Simple r. e. degree structures” The journal of symbolic logic. Vol. 52. Number 1, 1987 página 208-213


Pier Luigi Ferrari. “A note on a proof of Hilbert’s second ε-theorem” The journal of symbolic logic. Vol. 52. Number 1, 1987 página 214-215


Robert E. Beaudoin. “Strong analogues of Martin’s axiom imply Axiom R.” The journal of symbolic logic. Vol. 52. Number 1, 1987 página 216-218


Hans Läuchli and Christian Savioz. “Monadic second order definable relations on the binary tree” The journal of symbolic logic. Vol. 52. Number 1, 1987 página 219-226


Colin C. Bailey. “Some new natural -re-degrees” The journal of symbolic logic. Vol. 52. Number 1, 1987 página 227-231


Randall Dugherty. “Sequential discreteness and clopen-I-Boolean classes” The journal of symbolic logic. Vol. 52. Number 1, 1987 página 232-242


Luis E. Sanchis. “Completeness of transfinite evaluation in an extension of the lambda caculus” The journal of symbolic logic. Vol. 52. Number 1, 1987 página 243-275


THE JOURNAL OF SYMBOLIC LOGIC. VOL 52. Number 2. 1987.


Ludomir Newelski. “On partitions of the real line into compact sets” The journal of symbolic logic. Vol. 52. Number 2, 1987 página 353-359


Saharon Shelah. “Semiproper forcing axiom implies Martin maximum but not PFA+” The journal of symbolic logic. Vol. 52. Number 2, 1987 página 360-367


S. Heinrich, C. Wars Henson and L. C. Moore, Jr. “A note on elementary equivalence of C (K) spaces” The journal of symbolic logic. Vol. 52. Number 2, 1987 página 368-373


T. E. Forster. “Term models for weak set theories with a universal set” The journal of symbolic logic. Vol. 52. Number 2, 1987 página 374-387


Thomas Jech. “A hierarchy of filters on regular undecountable cardinals” The journal of symbolic logic. Vol. 52. Number 2, 1987 página 388-395


Krzysztof Ciensielski. “Marin’s axiom and a regular topological space with uncountable net weight whose countable product is hereditarily Lindelöf” The journal of symbolic logic. Vol. 52. Number 2, 1987 página 396-399


Anand Pillay and Bruno Poizat. “Pas d’ imaginaires dans l’ infini!” The journal of symbolic logic. Vol. 52. Number 2, 1987 página 400-403


Paul Bankston. “Reduced coproducts of compact Hausdorff spaces” The journal of symbolic logic. Vol. 52. Number 2, 1987 página 404-424


J. Zimbarg Sobrinho. “On the consistency of self-referential systems” The journal of symbolic logic. Vol. 52. Number 2, 1987 página 425-436


Paolo Lipparini. “Limit ultrapowers and abstract logics” The journal of symbolic logic. Vol. 52. Number 2, 1987 página 437-454


Ray Turner. “A theory of properties” The journal of symbolic logic. Vol. 52. Number 2, 1987 página 455-472


Walter A. Carnielli. “Systematization of finite many-valued logics through the method of tableaux” The journal of symbolic logic. Vol. 52. Number 2, 1987 página 473-493


Franco Montagna. “Provability in finite subtheories of PA and relative interpretability: a modal investigation” The journal of symbolic logic. Vol. 52. Number 2, 1987 página 494-511


Chris Mortensen. “Inconsistent nonstandard arithmetic” The journal of symbolic logic. Vol. 52. Number 2, 1987 página 512-518


E. V. Krishnamurthy and B. P. Vickers. “Compact numeral representation with combinators” The journal of symbolic logic. Vol. 52. Number 2, 1987 página 519-525


Steve Giambrone, Robert K. Meyer and Alasdair Urquhart. “A contractionless semilattice semantics” The journal of symbolic logic. Vol. 52. Number 2, 1987 página 526-529


Michael Canjar. “Complete Boolean ultraproducts” The journal of symbolic logic. Vol. 52. Number 2, 1987 página 530-542


Steven Buechler. “Isolated types in a weakly minimal set” The journal of symbolic logic. Vol. 52. Number 2, 1987 página 543-547


Steven Buechler. “On nontrivial types of U-rank 1” The journal of symbolic logic. Vol. 52. Number 2, 1987 página 548-551


THE JOURNAL OF SYMBOLIC LOGIC. VOL 52. Number 3. 1987.


Mitsuhiro Okada. “A simple relationship between Buchholz’s new system of ordinal notations and Takeuti’s system of ordinal diagrams” The journal of symbolic logic. Vol. 52. Number 3, 1987 página 577-581


Marcia J. Groszek. “Combinatorics on ideals and forcing with trees” The journal of symbolic logic. Vol. 52. Number 3, 1987 página 582-593


Robert A. Di Paola and Alex Heller. “Dominical categories: recursion theory without elements” The journal of symbolic logic. Vol. 52. Number 3, 1987 página 594-635


Mark F. Sharlow. “Proper classes via the iterative conception of set” The journal of symbolic logic. Vol. 52. Number 3, 1987 página 636-650


Peter Lars Dordal. “A model in which the based- matrix tree cannot have cofinal branches” The journal of symbolic logic. Vol. 52. Number 3, 1987 página 651-664


Neil Tennant. “Natural deduction and sequent calculus for intuitionistic relevant logic” The journal of symbolic logic. Vol. 52. Number 3, 1987 página 665-680


Henry A. Kierstead. “On II 1-automorphisms of recursive linear orders” The journal of symbolic logic. Vol. 52. Number 3, 1987 página 681-688


Nader Vakil. “Monadic binary relations and the monad systems at near- standard points” The journal of symbolic logic. Vol. 52. Number 3, 1987 página 689-697


A. H. Lachlan. “Complete theories with only universal and existential axions” The journal of symbolic logic. Vol. 52. Number 3, 1987 página 698-711


Hanamantagouda P. Sankappanavar. “Semi-de Morgan algebras” The journal of symbolic logic. Vol. 52. Number 3, 1987 página 712-724


Michiel Van Lambalgen. “Von Mises’ definition of random sequences reconsidered” The journal of symbolic logic. Vol. 52. Number 3, 1987 página 725-755


Bruce M. Kapron. “Modal sequences and definability” The journal of symbolic logic. Vol. 52. Number 3, 1987 página 756-762


Anand Pillay. “First order topological structures and theories” The journal of symbolic logic. Vol. 52. Number 3, 1987 página 763-778


Michael H. Albert. “A preservation theorem for ec-structures with applications” The journal of symbolic logic. Vol. 52. Number 3, 1987 página 779-785


Michael H. Albert and Ross Willard. “Injectives in finitely generated universal Horn classes” The journal of symbolic logic. Vol. 52. Number 3, 1987 página 786-792


Zofia Adamowicz. “Open induction and the true theory of rationals” The journal of symbolic logic. Vol. 52. Number 3, 1987 página 793-801


Douglas N. Hoover. “An analytic complateness theorem for logics with probability quantifiers” The journal of symbolic logic. Vol. 52. Number 3, 1987 página 802-816


Randall Dougherty. “Monotone but not positive subsets of the Cantor spaces” The journal of symbolic logic. Vol. 52. Number 3, 1987 página 817-818


Ingemarie Bethke. “On the existence of extensional partial combinatory algebras” The journal of symbolic logic. Vol. 52. Number 3, 1987 página 819-833


Othman Qasim Malhas. “Quantum logic and the classical propositional calculus” The journal of symbolic logic. Vol. 52. Number 3, 1987 página 834-841


Stuart T. Smith. “Nonstandart characterizations of recursive saturation and resplendency” The journal of symbolic logic. Vol. 52. Number 3, 1987 página 842-863


THE JOURNAL OF SYMBOLIC LOGIC. VOL 52. Number 4. 1987.


Joji Takahashi. “Partition properties of M-ultrafilters and ideals” The journal of symbolic logic. Vol. 52. Number 4, 1987 página 897-907


Philip Welch. “Minimality in the ∆ 1/3- degrees” The journal of symbolic logic. Vol. 52. Number 4, 1987 página 908-915


Samuel R. Buss. “Polynomial size proofs of the propositional pigeonhole principle” The journal of symbolic logic. Vol. 52. Number 4, 1987 página 916-927


Dan Velleman. “Gap-2 morasses of height wThe journal of symbolic logic. Vol. 52. Number 4, 1987 página 928-938


Arnon Avron. “A contructive analysis of RMThe journal of symbolic logic. Vol. 52. Number 4, 1987 página 939-951


Robert S. Lubarsky. “Uncountable master codes and the jump hierarchy” The journal of symbolic logic. Vol. 52. Number 4, 1987 página 952-958


Andreas Baudisch. “On two hierarchies of dimensions” The journal of symbolic logic. Vol. 52. Number 4, 1987 página 959-968


R. A. G. Seely. “Categorical semantics for higher order polymorphic lambda calculus” The journal of symbolic logic. Vol. 52. Number 4, 1987 página 969-989


Qi Feng. “On the Rowbottom M-ultrafilters” The journal of symbolic logic. Vol. 52. Number 4, 1987 página 990-993


Françoise Delon. “Corps portant un nombre fini de valuations” The journal of symbolic logic. Vol. 52. Number 4, 1987 página 994-1004


Claudia Henrion. “Properties of subtle cardinals” The journal of symbolic logic. Vol. 52. Number 4, 1987 página 1005-1019


Ludomir Newelski. “Omitting types and the real line” The journal of symbolic logic. Vol. 52. Number 4, 1987 página 1020-1026


Alain Touraille. “Théories d’ algèbres de Boole munies d’idéaux distingués. I: Théories élémentaires” The journal of symbolic logic. Vol. 52. Number 4, 1987 página 1027-1043


THE JOURNAL OF SYMBOLIC LOGIC. VOL 53. Number 1. 1988.


Azriel Levy. “Alfred Tarski’s work in set theory” The journal of symbolic logic. Vol. 53. Number 1, 1988 página 2-6


Lou Van Den Dries. “Alfred Tarski’s elimination theory real closed fields” The journal of symbolic logic. Vol. 53. Number 1, 1988 página 7-19


John Doner and Wilfrid Hodges. “Alfred Tarski’s and decidable theories” The journal of symbolic logic. Vol. 53. Number 1, 1988 página 20-35


W. J. Blok and Don Pigozzi. “Alfred Tarski’s work on general metamathematics” The journal of symbolic logic. Vol. 53. Number 1, 1988 página 36-50


John Etchemendy. “Tarski on truth and logical consequence” The journal of symbolic logic. Vol. 53. Number 1, 1988 página 51-79


Patrick Suppes. “Philosophical implications of Tarski’s work” The journal of symbolic logic. Vol. 53. Number 1, 1988 página 80-91


C. A. Johnson. “Seminormal λ-generated ideals on PkλThe journal of symbolic logic. Vol. 53. Number 1, 1988 página 92-102


Robert S. Lubarsky. “Correction to ‘Simple r. e. degree structures’” The journal of symbolic logic. Vol. 53. Number 1, 1988 página 103-104


Stefano Berardi. “Equalization of finite flowers” The journal of symbolic logic. Vol. 53. Number 1, 1988 página 105-123


Bruno Poizat. “MM. Borel, Tits, Zil’ber et le Général Nonsense” The journal of symbolic logic. Vol. 53. Number 1, 1988 página 124-131


Bruno Poizat. “Missionary mathematics” The journal of symbolic logic. Vol. 53. Number 1, 1988 página 132-145

Laura L. Mayer. “Vaught’s conjecture for o-minimal theories” The journal of symbolic logic. Vol. 53. Number 1, 1988 página 146-159


Gaisi Takeuti. “Boolean simple groups and Boolean simple rings” The journal of symbolic logic. Vol. 53. Number 1, 1988 página 160-173


Steffen Lempp. “A high strongly noncappable degree” The journal of symbolic logic. Vol. 53. Number 1, 1988 página 174-187


Gary A. Martin. “Definability in reducts of algebraically closed fields” The journal of symbolic logic. Vol. 53. Number 1, 1988 página 188-199


Mitsuhiro Okada. “On a theory of weak implications” The journal of symbolic logic. Vol. 53. Number 1, 1988 página 200-211


Michael E. Mytilinaios and Theodore A. Slaman. “Σ2-collection and the infinite injury priority method” The journal of symbolic logic. Vol. 53. Number 1, 1988 página 212-221


I. M. Hodkinson and H. D. Macpherson. “Relation structures determined by their finite induced substructures” The journal of symbolic logic. Vol. 53. Number 1, 1988 página 222-230


Rami Grossberg. “A downward Löwenheim-Skolem theorem for infinitary theories which have the unsuperstability property” The journal of symbolic logic. Vol. 53. Number 1, 1988 página 231-242


Miroslaw Kutylowski. “Finite automata, real time processes and counting problems in bounded arithmetic” The journal of symbolic logic. Vol. 53. Number 1, 1988 página 243-258


Ilias G. Kastanas. “Initial segments of ∆1/2 n+1-degrees” The journal of symbolic logic. Vol. 53. Number 1, 1988 página 259-268


T. G. Kucera. “Generalizations of Deissler’s minimality rank” The journal of symbolic logic. Vol. 53. Number 1, 1988 página 269-283


T. G. Kucera. “Positive Deissler rank and the complexity of injective modules” The journal of symbolic logic. Vol. 53. Number 1, 1988 página 284-293


R. Gurevič. “On ultracoproducts of compact Hausdorff spaces” The journal of symbolic logic. Vol. 53. Number 1, 1988 página 294-300


THE JOURNAL OF SYMBOLIC LOGIC. VOL 53. Number 2. 1988.


Wilfried Sieg. “Hilbert’s program sixty years later” The journal of symbolic logic. Vol. 53. Number 2, 1988 página 338-348


Stephen G. Simpson. “Partial realizations of Hilbert´s program” The journal of symbolic logic. Vol. 53. Number 2, 1988 página 349-363


Solomo Feferman. “Hilbert´s program relativized: Proof-theoretical and foundation reductions” The journal of symbolic logic. Vol. 53. Number 2, 1988 página 364-384


Yo Matsubara. “Splitting Pkλ into stationary subsets” The journal of symbolic logic. Vol. 53. Number 2, 1988 página 385-389


John P. Burgess. “Addendum to ‘The truth is never simple’” The journal of symbolic logic. Vol. 53. Number 2, 1988 página 390-392


Jaime I. Ihoda. “Strong measure zero sets and rapid filters” The journal of symbolic logic. Vol. 53. Number 2, 1988 página 393-402


Fabio Bellissima. “Finite and finitely separable intermediate propositional logics” The journal of symbolic logic. Vol. 53. Number 2, 1988 página 403-420


Françoise Delon. “Extensions séparées et immediate des courps valués” The journal of symbolic logic. Vol. 53. Number 2, 1988 página 421-428


Kenneth Kunen. “Where MA first fails” The journal of symbolic logic. Vol. 53. Number 2, 1988 página 429-433


Elisabeth Bouscaren and Bruno Poizat. “Des belles paires aux uples” The journal of symbolic logic. Vol. 53. Number 2, 1988 página 434-442


Joseph Barback. “On infinite series of infinite isols” The journal of symbolic logic. Vol. 53. Number 2, 1988 página 443-462


Dan Haran. “Quantifier elimination in separably closed fields of finite imperfectness degree” The journal of symbolic logic. Vol. 53. Number 2, 1988 página 463-469


Masahiro Yasumoto. “Algebraic extensions in nonstandard models and Hilbert´s irreductibility theorem” The journal of symbolic logic. Vol. 53. Number 2, 1988 página 470-480


Penelope Maddy. “Believing the axioms. I.” The journal of symbolic logic. Vol. 53. Number 2, 1988 página 481-511


Michael Chris Laskowski. “Un countable theories that are categorical in a higher power” The journal of symbolic logic. Vol. 53. Number 2, 1988 página 512-530


M. Moses. “Decidable discrete linear orders” The journal of symbolic logic. Vol. 53. Number 2, 1988 página 531-539


Pierre Matet. “Some filters of partitions” The journal of symbolic logic. Vol. 53. Number 2, 1988 página 540-553


Kosta Došen and Peter Schroeder- Heister. “Uniqueness, definability and interpolation” The journal of symbolic logic. Vol. 53. Number 2, 1988 página 554-570


Herbert H. J. Riedel. “Existentially closed algebras and Boolean products” The journal of symbolic logic. Vol. 53. Number 2, 1988 página 571-596


Mark Howard. “A proofless proof of the Barwise compactness theorem” The journal of symbolic logic. Vol. 53. Number 2, 1988 página 597-602


V. Stoltenberg-Hansen and J. V. Tucker. “Complete local rings as domains” The journal of symbolic logic. Vol. 53. Number 2, 1988 página 603-624


Steven Buechler. “The classification of small weakly minimal sets. II.” The journal of symbolic logic. Vol. 53. Number 2, 1988 página 625-635


Jaime I. Ihoda. “Σ1/2-sets of reals” The journal of symbolic logic. Vol. 53. Number 2, 1988 página 636-642


THE JOURNAL OF SYMBOLIC LOGIC. VOL 53. Number 3. 1988.


Sidney C. Bailin. “A normalization theorem for set theory” The journal of symbolic logic. Vol. 53. Number 3, 1988 página 673-695


Péter Komjáth and Saharon Shelah. “Forcing constructions for uncountably chromatic graphs” The journal of symbolic logic. Vol. 53. Number 3, 1988 página 696-707


Howard Becker. “A characterization of jump operators” The journal of symbolic logic. Vol. 53. Number 3, 1988 página 708-728


Katarzyna Idziak and Pawel M. Idziak. “Decidability problem for finite Heyting algebras” The journal of symbolic logic. Vol. 53. Number 3, 1988 página 729-735


Penelope Maddy. “Believing the axioms. II.” The journal of symbolic logic. Vol. 53. Number 3, 1988 página 736-764


Harold Hodes. “Cardinalty logics. Part II: Definability in languages based on ‘exactly’The journal of symbolic logic. Vol. 53. Number 3, 1988 página 765-784


Jörg Flum and Juan Carlos Martinez. “On topological spaces equivalent to ordinals” The journal of symbolic logic. Vol. 53. Number 3, 1988 página 785-795


Lou Van Den Dries. “On the elementary theory of restricted elementary functions” The journal of symbolic logic. Vol. 53. Number 3, 1988 página 796-808


M. C. Stanley. “Backwards Easton forcing and 0#” The journal of symbolic logic. Vol. 53. Number 3, 1988 página 809-833


H. Andréka, W. Craig and I. Németi. “A system of logic for partial functions under existence-dependent Kleene equality” The journal of symbolic logic. Vol. 53. Number 3, 1988 página 834-839


Jan M. Smith. “The independence of Peano´s fourth axiom from Martin-Löf’s type theory without universes” The journal of symbolic logic. Vol. 53. Number 3, 1988 página 840-845


B. Biró and S. Shelah. “Isomorphic but not lower base-isomorphic cylindric set algebras” The journal of symbolic logic. Vol. 53. Number 3, 1988 página 846-853


D. J. Walter. “On the transversal hypothesis and the weak Kurepa hypothesis” The journal of symbolic logic. Vol. 53. Number 3, 1988 página 854-877


Kate Copestake. “1-genericity in the enumeration degrees” The journal of symbolic logic. Vol. 53. Number 3, 1988 página 878-887


E. G. K. López- Escobar. “Circumcription within monotonic inferences” The journal of symbolic logic. Vol. 53. Number 3, 1988 página 888-904


Philip Scowcroft. “A note on definable Skolem functions” The journal of symbolic logic. Vol. 53. Number 3, 1988 página 905-911


Philip Scowcroft. “More on definable sets of p-adic numbers” The journal of symbolic logic. Vol. 53. Number 3, 1988 página 912-920


M. A. Dickmann. “The model theory of chain-closed fields” The journal of symbolic logic. Vol. 53. Number 3, 1988 página 921-930


Akito Tsuboi. “Strongly 2-dimensional theories” The journal of symbolic logic. Vol. 53. Number 3, 1988 página 931-936

Ursula Gropp. “Coinductive formulas and a many-sorted interpolation theorem” The journal of symbolic logic. Vol. 53. Number 3, 1988 página 937-960


Stephen G. Simpon. “Ordinal numbers and the Hilbert basis theorem” The journal of symbolic logic. Vol. 53. Number 3, 1988 página 961-974


Steven Buechler. “The classification of small weakly minimal sets. III: Modules” The journal of symbolic logic. Vol. 53. Number 3, 1988 página 975-979


Harold Simmons. “Large discrete parts of the E- tree” The journal of symbolic logic. Vol. 53. Number 3, 1988 página 980-984


THE JOURNAL OF SYMBOLIC LOGIC. VOL 53. Number 4. 1988.


J. P. Ressayre. “Formal languages defined by the underlying structure of their words” The journal of symbolic logic. Vol. 53. Number 4, 1988 página 1009-1026


Chris Freiling and T. H. Payne. “Some properties of large filters” The journal of symbolic logic. Vol. 53. Number 4, 1988 página 1027-1035


Charles McCarty. “Constructive validity is nonarithmetic” The journal of symbolic logic. Vol. 53. Number 4, 1988 página 1036-1041


Charles McCarty. “Markov’s principle isols and Dedekind finite sets” The journal of symbolic logic. Vol. 53. Number 4, 1988 página 1042-1069


Robert Lubarsky. “Definability and initial segments of c-degrees” The journal of symbolic logic. Vol. 53. Number 4, 1988 página 1070-1081


R. Kate, J. Paris and C. Dimitracopoulos. “On parameter free induction schemes” The journal of symbolic logic. Vol. 53. Number 4, 1988 página 1082-1097


Wolfgang Maass. “On the use of inaccessible numbers and order indiscernibles in lower bound arguments for random access machines” The journal of symbolic logic. Vol. 53. Number 4, 1988 página 1098-1109


Klaus Ambos-Spies and Peter Fejer. “Degrees theoretical splitting properties of recursively enumerable sets” The journal of symbolic logic. Vol. 53. Number 4, 1988 página 1110-1137


Philip Scowcroft and Lou Van Den Dries. “On the structure of semialgebraic sets over p-adic fields” The journal of symbolic logic. Vol. 53. Number 4, 1988 página 1138-1164


Anand Pillay. “Sheaves of continuous definable functions” The journal of symbolic logic. Vol. 53. Number 4, 1988 página 1165-1169


Piotr Zakrzewski. “On universal semiregular invariant measures” The journal of symbolic logic. Vol. 53. Number 4, 1988 página 1170-1176


W. A. MacCaull. “On the validity of Hilbert´s Nullstellensatz, Artin´s theorem, and related results in Grothendieck toposes” The journal of symbolic logic. Vol. 53. Number 4, 1988 página 1177-1187


Jaime I. Ihoda and Saharon Shelah. “Souslin forcing” The journal of symbolic logic. Vol. 53. Number 4, 1988 página 1188-1207


Mitchell Spector. “Ultrapowers without the axiom of choice” The journal of symbolic logic. Vol. 53. Number 4, 1988 página 1208-1219


James D. French. “The false assumption underlying Berry’s paradox” The journal of symbolic logic. Vol. 53. Number 4, 1988 página 1220-1223


Remi Legrand. “A basis result in combinatory logic” The journal of symbolic logic. Vol. 53. Number 4, 1988 página 1224-1226


Françoise Delon and Yamina Rouani. “Indécidabilité de corps de series formelles” The journal of symbolic logic. Vol. 53. Number 4, 1988 página 1227-1234


J. B. Paris, A. J. Wilkie and A. R. Woods. “Probability of the pigeonhole principle and the existence of infinitely many primes” The journal of symbolic logic. Vol. 53. Number 4, 1988 página 1235-1244


Daniel N. Osherson, Michael Stob and Scott Weinstein. “Mechanical learners pay a price for Bayesianism” The journal of symbolic logic. Vol. 53. Number 4, 1988 página 1245-1251


THE JOURNAL OF SYMBOLIC LOGIC. VOL 54. Number 1. 1989.


Klaas Pieter Hart. “Ultrafilters of character w1” The journal of symbolic logic. Vol. 54. Number 1, 1989 página 1-15


Ljubomir L. Ivanov. “Abstract hierarchies and degrees” The journal of symbolic logic. Vol. 54. Number 1, 1989 página 16-25


Christopher C. Leary. “Patching ideal families and enforcing reflection” The journal of symbolic logic. Vol. 54. Number 1, 1989 página 26-37


Michael Mytilinaios. “Finite injury and Σ1-induction” The journal of symbolic logic. Vol. 54. Number 1, 1989 página 38-49


Andreas Blass and Claude Laflamme. “Consistency results about filters and the number of inequivalent growth types” The journal of symbolic logic. Vol. 54. Number 1, 1989 página 50-56


Ingrid Lindström. “A construction of non-well-founded sets within Martin-Löf´s type theory” The journal of symbolic logic. Vol. 54. Number 1, 1989 página 57-64


Thomas Ede Zimmermann. “Intensional logic and two-sorted type theory” The journal of symbolic logic. Vol. 54. Number 1, 1989 página 65-77


Jaime I. Ihoda and Saharon Shelah. “Martin’s axioms, measurability and equiconsistency results” The journal of symbolic logic. Vol. 54. Number 1, 1989 página 78-94


Saharon Shelah and Simon Thomas. “Subgroups of small index in infinite symmetric groups. II.” The journal of symbolic logic. Vol. 54. Number 1, 1989 página 95-99

L. Gordeev. “Generalizations of the one-dimensional version of the Kruskal- Friedman theorems” The journal of symbolic logic. Vol. 54. Number 1, 1989 página 100-121


Rami Grossberg. “Models with second order properties in succesors of singulars” The journal of symbolic logic. Vol. 54. Number 1, 1989 página 122-137


Andreas Baudisch. “Classification and interpretation” The journal of symbolic logic. Vol. 54. Number 1, 1989 página 138-159


Theodore A. Slaman and John R. Steel. “Complementation in the turing degrees” The journal of symbolic logic. Vol. 54. Number 1, 1989 página 160-176


Roman Kossak. “Models with the w-property” The journal of symbolic logic. Vol. 54. Number 1, 1989 página 177-189


Alan S. Stern. “Sequential theories and infinite distributivity in the lattice of chapters” The journal of symbolic logic. Vol. 54. Number 1, 1989 página 190-206


Ehud Hrushovski. “Kueker’s conjecture for stable theories” The journal of symbolic logic. Vol. 54. Number 1, 1989 página 207-220

Ehud Hrushovski. “Finitely based theories” The journal of symbolic logic. Vol. 54. Number 1, 1989 página 221-225


Thomas Jech. “Positive Σ operations on ordinals and normal filters on greatly Mahlo cardinals” The journal of symbolic logic. Vol. 54. Number 1, 1989 página 226-233


H. Luckhardt. “Herbrand-Analysen zweier Beweise des Satzes von Roth: Polynomiale Anzahlschranken” The journal of symbolic logic. Vol. 54. Number 1, 1989 página 234-263


Terrence Millar. “Finite extensions and the number of countable models” The journal of symbolic logic. Vol. 54. Number 1, 1989 página 264-270


Marc Bezem. “Compact and majorizable functionals of finite type” The journal of symbolic logic. Vol. 54. Number 1, 1989 página 271-280


THE JOURNAL OF SYMBOLIC LOGIC. VOL 54. Number 2. 1989.


Yuri Gurevich and Saharon Shelah. “On the strength of the interpretation method” The journal of symbolic logic. Vol. 54. Number 2, 1989 página 305-323


S. B. Cooper. “A jump class of noncappable degrees” The journal of symbolic logic. Vol. 54. Number 2, 1989 página 324-353


Anthony Robinson. “Equational logic of partial functions under Kleene equality: a complete and an incomplete set of rules” The journal of symbolic logic. Vol. 54. Number 2, 1989 página 354-362


David M. Clark. “The structure of algebraic and existentially closed Stone and double Stone algebras” The journal of symbolic logic. Vol. 54. Number 2, 1989 página 363-375


Steffen Lempp and Theodore A. Slaman. “A limit on relative genericity in the recursively enumerable sets” The journal of symbolic logic. Vol. 54. Number 2, 1989 página 376-395


James H. Schmerl. “Partially ordered sets and the independence property” The journal of symbolic logic. Vol. 54. Number 2, 1989 página 396-401


J. Siekmann and P. Szabó. “The undecidability of the DA-unification problem” The journal of symbolic logic. Vol. 54. Number 2, 1989 página 402-414


Ron Sigal. “Undecidable complexity statements in ES-arithmetic” The journal of symbolic logic. Vol. 54. Number 2, 1989 página 415-427


Ivan N. Soskov. “Definibility via enumerations” The journal of symbolic logic. Vol. 54. Number 2, 1989 página 428-440


Alan H. Mekler and Saharon Shelah. “Uniformization principles” The journal of symbolic logic. Vol. 54. Number 2, 1989 página 441-459


Warren Goldfarb. “Random models and the Maslov class” The journal of symbolic logic. Vol. 54. Number 2, 1989 página 460-466


Qi Feng. “An ideal characterization of Mahlo cardinals” The journal of symbolic logic. Vol. 54. Number 2, 1989 página 467-473


M. Victoria Marshall R. “Higher order reflection principles” The journal of symbolic logic. Vol. 54. Number 2, 1989 página 474-489


Robert S. Lubarsky. “Sacks forcing sometimes needs help to produce a minimal upper bound” The journal of symbolic logic. Vol. 54. Number 2, 1989 página 490-498


Françoise Delon and François Lucas. “Inclusions et produits de groups abéliens ordonnés étudiés au premier ordre” The journal of symbolic logic. Vol. 54. Number 2, 1989 página 499-511


Zoé Chatzidakis. “An expansion of F˜pThe journal of symbolic logic. Vol. 54. Number 2, 1989 página 512-521


James S. Royer. “Two recursion theoretic characterizations of proof speed-ups” The journal of symbolic logic. Vol. 54. Number 2, 1989 página 522-526


S. B. Cooper. “The strong anticupping property for recursively enumerable degrees” The journal of symbolic logic. Vol. 54. Number 2, 1989 página 527-539


Akihiro Kanamory. “Regressive partitions and Borel diagonalization” The journal of symbolic logic. Vol. 54. Number 2, 1989 página 540-552


R. G. Downey. “Recursively enumerable m – and tt- degrees. I: The quantity of m- degrees” The journal of symbolic logic. Vol. 54. Number 2, 1989 página 553-567


C. A. Johnson. “On ideals and stationary reflection” The journal of symbolic logic. Vol. 54. Number 2, 1989 página 568-575


Petr Hájek and Antonín Kučera. “On recursion theory in IΣ1” The journal of symbolic logic. Vol. 54. Number 2, 1989 página 576-589


Martin W. Bunder, J. Roger Hindley and Jonathan P. Seldin. “On adding (ξ) to weak equality in combinatory logic” The journal of symbolic logic. Vol. 54. Number 2, 1989 página 590-607


S. S. Wainer. “Slow growing versus fast growing” The journal of symbolic logic. Vol. 54. Number 2, 1989 página 608-614


THE JOURNAL OF SYMBOLIC LOGIC. VOL 54. Number 3. 1989.


Fred Appenzeller. “An independence result in quadratic form theory: Infinitary combinatorics applied to ϵ-Hermitian spaces” The journal of symbolic logic. Vol. 54. Number 3, 1989 página 689-699


Moti Gitik. “On generic elementary embeddings” The journal of symbolic logic. Vol. 54. Number 3, 1989 página 700-707


D. H. Fremlin and P. J. Nyikos. “Saturating ultrafilters on N” The journal of symbolic logic. Vol. 54. Number 3, 1989 página 708-718


Tomek Bartoszynski, Jaime I. Ihoda and Saharon Shelah. “The cofinality of cardinal invariants related to measure and category” The journal of symbolic logic. Vol. 54. Number 3, 1989 página 719-726


Galen Weitkamp. “The Σ ½ theory of axioms of symmetry” The journal of symbolic logic. Vol. 54. Number 3, 1989 página 727-734


K. Ambos-Spies and M. Lerman. “Lattice embeddings into the recursively enumerable degrees. II.” The journal of symbolic logic. Vol. 54. Number 3, 1989 página 735-760


James C. Owings, Jr. “A cardinality version of Beigel´s nonspeedup theorem” The journal of symbolic logic. Vol. 54. Number 3, 1989 página 761-767


Luis Jaime Corredor. “Dad groups of finite Morley rank” The journal of symbolic logic. Vol. 54. Number 3, 1989 página 768-773


Friedrich Wehrung. “Nonabsoluteness of elementary embeddings” The journal of symbolic logic. Vol. 54. Number 3, 1989 página 774-778


Clement F. Kent and Bernard R. Hodgson. “Extensions of arithmetic for proving termination of computation” The journal of symbolic logic. Vol. 54. Number 3, 1989 página 779-794


William Craig. “Near-equational and equational systems of logic for partial functions. I.” The journal of symbolic logic. Vol. 54. Number 3, 1989 página 795-827


Tomek Bartoszynski and Jaime I. Ihoda. “On the cofinality of the smallest covering of the real line by meager sets” The journal of symbolic logic. Vol. 54. Number 3, 1989 página 828-832


J. C. E. Dekker and E. Ellentuck. “Isols and the pigeonhole principle” The journal of symbolic logic. Vol. 54. Number 3, 1989 página 833-846


Bruno Poizat. “Generix strikes again” The journal of symbolic logic. Vol. 54. Number 3, 1989 página 847-857


A. Pillay. “A note on subgroups of the automorphism group of a satured model, and regular types” The journal of symbolic logic. Vol. 54. Number 3, 1989 página 858-864


Alain Louveau. “Two results on Borel orders” The journal of symbolic logic. Vol. 54. Number 3, 1989 página 865-874


John T. Baldwin. “Diverse classes” The journal of symbolic logic. Vol. 54. Number 3, 1989 página 875-893


Harvey Friedman and Lee Stanley. “A Borel reducibility theory for classes of countable structures” The journal of symbolic logic. Vol. 54. Number 3, 1989 página 894-914


Alexander S. Kechris, David Marker and Ramez L. Sami. “∏ 1/1 Borel sets” The journal of symbolic logic. Vol. 54. Number 3, 1989 página 915-920


David Marker. “Non Σn axiomatizable almost strongly minimal theories” The journal of symbolic logic. Vol. 54. Number 3, 1989 página 921-927


Lou Van Den Dries, David Marker and Gary Martin. “Definable equivalence relations on algebraically closed fields” The journal of symbolic logic. Vol. 54. Number 3, 1989 página 928-935


Roman Kossak, Mark Nadel and James Schmerl. “A note on the multiplicative semigroup of models of Peano arithmetic ” The journal of symbolic logic. Vol. 54. Number 3, 1989 página 936-940


J. Denef and L. Lipshitz. “Decision problems for differential equations” The journal of symbolic logic. Vol. 54. Number 3, 1989 página 941-950


Roger D. Maddux. “Nonfinite axiomatizability for cylindric and relation algebras” The journal of symbolic logic. Vol. 54. Number 3, 1989 página 951-974


Douglas Cenzer and Rick L. Smith. “On the ranked points of a ∏ 0/1 set” The journal of symbolic logic. Vol. 54. Number 3, 1989 página 975-991


G. Sambin and V. Vaccaro. “A new proof of Sahlqvist’s theorem on modal definability and completeness” The journal of symbolic logic. Vol. 54. Number 3, 1989 página 992-999


Peter Fletcher. “Nonstandard set theory” The journal of symbolic logic. Vol. 54. Number 3, 1989 página 1000-1008


Martin Kummer. “A note on direct sums of friedbergnumberings” The journal of symbolic logic. Vol. 54. Number 3, 1989 página 1009-1010


Lee A. Rubel. “Digital simulation of analog computation and church’s thesis” The journal of symbolic logic. Vol. 54. Number 3, 1989 página 1011-1017


Peter Perkings. “Finite axiomatizability for equational theories of countable groupoisds” The journal of symbolic logic. Vol. 54. Number 3, 1989 página 1018-1022


Franco Montagna and Andrea Sorbi. “Creativeness and completeness in recursion categories of partial recursive operators” The journal of symbolic logic. Vol. 54. Number 3, 1989 página 1023-1041


Josep M. Font and Ventura Verdú. “A first approach to abstract modal logics” The journal of symbolic logic. Vol. 54. Number 3, 1989 página 1042-1062


Jan Krajíček and Pavel Pudlák. “Propositional proof systems thje consistency of first order theories and the complexity of computations” The journal of symbolic logic. Vol. 54. Number 3, 1989 página 1063-1079


Ali Nesin. “Groups of finite morley rank with transitive group automorphisms” The journal of symbolic logic. Vol. 54. Number 3, 1989 página 1080-1082


Yuri Gurevich and Saharon Shelah. “Time polynomial in input or output” The journal of symbolic logic. Vol. 54. Number 3, 1989 página 1083-1088


THE JOURNAL OF SYMBOLIC LOGIC. VOL 54. Number 4. 1989.


Penelope Maddy. “The roots of contemporary Platonism” The journal of symbolic logic. Vol. 54. Number 4, 1989 página 1121-1144


Sy D. Friedman. “Coding over a measurable cardinal” The journal of symbolic logic. Vol. 54. Number 4, 1989 página 1145-1159


Rod Downey. “On hyper-torre isols” The journal of symbolic logic. Vol. 54. Number 4, 1989 página 1160-1166


H. Jerome Keisler, Kenneth Kunen, Arnold Miller, and Steven Leth. “Descriptive set theory over hyperfinite sets” The journal of symbolic logic. Vol. 54. Number 4, 1989 página 1167-1180


William Craig. “Near-equational and equational systems of logic for partial functions. II.” The journal of symbolic logic. Vol. 54. Number 4, 1989 página 1181-1215


Yiannis N. Moschovakis. “The formal language of recursion” The journal of symbolic logic. Vol. 54. Number 4, 1989 página 1216-1252


Denis Richard. “Definability in terms of the successor function and the coprimeness predicate in the set of arbitrary intégers” The journal of symbolic logic. Vol. 54. Number 4, 1989 página 1253-1287


C. G. Jockusch, Jr., M. Lerman, R. I. Soare, and R. M. Solovay. “Recursively enumerable sets modulo iterated jumps and extensions of Arslanov’s completeness criterion” The journal of symbolic logic. Vol. 54. Number 4, 1989 página 1288-1323


G. L. McColm. “Some restrictions on simple fixed points of the integers” The journal of symbolic logic. Vol. 54. Number 4, 1989 página 1324-1345


Bradd Hart. “A proof of Morley´s conjecture” The journal of symbolic logic. Vol. 54. Number 4, 1989 página 1346-1358


R. Grossberg and B. Hart. “The classification of excellent classes” The journal of symbolic logic. Vol. 54. Number 4, 1989 página 1359-1381


James H. Schmerl. “Large resplendent models generated by indiscernibles” The journal of symbolic logic. Vol. 54. Number 4, 1989 página 1382-1388


Michiel Van Lambalgen. “Algorithmic information theory” The journal of symbolic logic. Vol. 54. Number 4, 1989 página 1389-1400


M. Forti and R. Hinnion. “The consistency problem for positive comprehension principles” The journal of symbolic logic. Vol. 54. Number 4, 1989 página 1401-1418


Gerald R. Renardel de Lavalette. “Interpolation in fragments of intuionistic propositional logic” The journal of symbolic logic. Vol. 54. Number 4, 1989 página 1419-1430


Saharon Shelah. “The number of pairwise non-elementary-embeddable models” The journal of symbolic logic. Vol. 54. Number 4, 1989 página 1431-1455


Harvey Friedman and Michael Sheard. “The equivalence of the disjunction and existence properties for modal arithmetic” The journal of symbolic logic. Vol. 54. Number 4, 1989 página 1456-1459


Fabio Bellissima and Massimo Mirolli. “A general treatment of equivalent modalities” The journal of symbolic logic. Vol. 54. Number 4, 1989 página 1460-1471


THE JOURNAL OF SYMBOLIC LOGIC. VOL 55. Number 1. 1990.


Mark Nadel and Jonathan Stavi. “On models of the elementary theory of (Z, +, 1)” The journal of symbolic logic. Vol. 55. Number 1, 1990 página 1-20


Saharon Shelah. “Strong negative partition above the continuum” The journal of symbolic logic. Vol. 55. Number 1, 1990 página 21-31


V. Michele Abrusci, Jean-Yves Girard and Jacques Van de Wielle. “Some uses of dilators in combinatorial problems. II.” The journal of symbolic logic. Vol. 55. Number 1, 1990 página 32-40


David N. Yetter. “Quantales and (noncommutative) linear logic” The journal of symbolic logic. Vol. 55. Number 1, 1990 página 41-64


Juha Oikkonen. “On Ehrenfeucht- Fraïssé equivalence of linear orderings” The journal of symbolic logic. Vol. 55. Number 1, 1990 página 65-73


Wayne D. Blizard. “A normal theory of objects, space and time” The journal of symbolic logic. Vol. 55. Number 1, 1990 página 74-89


J. Roger Hindley and David Meredith. “Principal type-schemes and condensed detachment” The journal of symbolic logic. Vol. 55. Number 1, 1990 página 90-105


E. G. K. López- Escobar. “Remarks on the Church-Rosser property” The journal of symbolic logic. Vol. 55. Number 1, 1990 página 106-112


Miklos Ajtai and Ronald Fagin. “Reachability is harder for directed than for undirected finite graphs” The journal of symbolic logic. Vol. 55. Number 1, 1990 página 113-150


Frank Wagner. “Subgroups of stable groups” The journal of symbolic logic. Vol. 55. Number 1, 1990 página 151-156


L. Gordeev. “Generalizations of the Kruskal-Friedman theorems” The journal of symbolic logic. Vol. 55. Number 1, 1990 página 157-181


Nicolas D. Goodman. “Mathematics as natural science” The journal of symbolic logic. Vol. 55. Number 1, 1990 página 182-193


Robert S. Lubarsky. “An introduction to y-recursion theory (or what to do in KP-Foundation)” The journal of symbolic logic. Vol. 55. Number 1, 1990 página 194-206


Giangiacomo Gerla. “Pointless metric spaces” The journal of symbolic logic. Vol. 55. Number 1, 1990 página 207-219


James G. Williams. “On the formulation of semantic conventions” The journal of symbolic logic. Vol. 55. Number 1, 1990 página 220-243


Andrea Cantini. “A theory of formal truth arithmetically equivalent to ID1” The journal of symbolic logic. Vol. 55. Number 1, 1990 página 244-259


Serge Grigorieff. “Every recursive linear ordering has a copy in DTIME-SPACE (n, log n)” The journal of symbolic logic. Vol. 55. Number 1, 1990 página 260-276


Labib Haddad and Marianne Morillon. “L’ axiome de normalité pour les espaces totalement ordonnés” The journal of symbolic logic. Vol. 55. Number 1, 1990 página 277-283


John W. L. Merrill. “UFA fails in the Bell-Kunen model” The journal of symbolic logic. Vol. 55. Number 1, 1990 página 284-296


Timothy William-Son. “Two incomplete anti-realist modal epistemic logics” The journal of symbolic logic. Vol. 55. Number 1, 1990 página 297-314


Samy Zafrany. “On analytic filters and prefilters” The journal of symbolic logic. Vol. 55. Number 1, 1990 página 315-322


Gérard Leloup. “Théories complètes de paires de corps valués henseliens” The journal of symbolic logic. Vol. 55. Number 1, 1990 página 323-339


THE JOURNAL OF SYMBOLIC LOGIC. VOL 55. Number 2. 1990.


Claude Laflamme. “Upward directedness of the Rudin-Keisler ordering of p-points” The journal of symbolic logic. Vol. 55. Number 2, 1990 página 449-456


Winfried Just, A. R. D. Mathias, Karel Prikry, and Petr Simon. “On the existence of large p-ideals” The journal of symbolic logic. Vol. 55. Number 2, 1990 página 457-465


Alan H. Mekler. “Universal structures in power N1” The journal of symbolic logic. Vol. 55. Number 2, 1990 página 466-477


Aleksandr Vasilevich Borovik and Bruno Petrovich Poizat. “Tores et p-groupes” The journal of symbolic logic. Vol. 55. Number 2, 1990 página 478-491


Arthur W. Apter. “Successors of singular cardinals and measurability revisited” The journal of symbolic logic. Vol. 55. Number 2, 1990 página 492-501


Derrick Albert DuBose. “The equivalence of determinacy and iterated sharps” The journal of symbolic logic. Vol. 55. Number 2, 1990 página 502-525


R. David. “Some results on higher Suslin trees” The journal of symbolic logic. Vol. 55. Number 2, 1990 página 526-536


Alain Louveau and Jean Saint- Raymond. “On the quasi-ordering of Borel linear orders under embeddability” The journal of symbolic logic. Vol. 55. Number 2, 1990 página 537-560


Lyubomir Ivanov. “Operative vs. combinatory spaces” The journal of symbolic logic. Vol. 55. Number 2, 1990 página 561-572


Klaus Sutner. “The ordertype of ß–r. e. sets” The journal of symbolic logic. Vol. 55. Number 2, 1990 página 573-576


H. Andréka, I. Németi, and R. J. Thompson. “Weak cylindric set algebras and weak subdirect indecomposability” The journal of symbolic logic. Vol. 55. Number 2, 1990 página 577-588


Paul Bankston. “Taxonomies of model-theoretically defined topological properties” The journal of symbolic logic. Vol. 55. Number 2, 1990 página 589-603


Boško Živaljevic´. “Some results about Borel sets in descriptive set theory of hyperfinite sets” The journal of symbolic logic. Vol. 55. Number 2, 1990 página 604-614


Jacek Malinowski. “The deduction theorem for quantum logic- some negative results” The journal of symbolic logic. Vol. 55. Number 2, 1990 página 615-625


John T. Baldwin. “The spectrum of resplendecy” The journal of symbolic logic. Vol. 55. Number 2, 1990 página 626-636


Carl G. Jockusch, Jr., and James C. Owings, Jr. “Weakly semirecursive sets” The journal of symbolic logic. Vol. 55. Number 2, 1990 página 637-644


Paul E. Howard. “Definitions of compact” The journal of symbolic logic. Vol. 55. Number 2, 1990 página 645-655


M. W. Bunder. “Some improvements to Turner´s algorithm for bracket abstraction” The journal of symbolic logic. Vol. 55. Number 2, 1990 página 656-669

Hans B. Gute and K. K. Reuter. “The last word on elimination of quantifiers in modules” The journal of symbolic logic. Vol. 55. Number 2, 1990 página 670-673


Janusz Pawlikowski. “Finite support iteration and strong measure zero sets” The journal of symbolic logic. Vol. 55. Number 2, 1990 página 674-677


Edmund Robinson and Giuseppe Rosolini. “Colimit completions and the effective topos” The journal of symbolic logic. Vol. 55. Number 2, 1990 página 678-699


David Booth. “Hereditarily finite Finsler sets” The journal of symbolic logic. Vol. 55. Number 2, 1990 página 700-706


Arnon Avron. “Relevance and paraconsistency-a new approach” The journal of symbolic logic. Vol. 55. Number 2, 1990 página 707-732


Masahiro Kumabe. “A 1-generic degree which bounds minimal degree” The journal of symbolic logic. Vol. 55. Number 2, 1990 página 733-743


Peter Cholak. “Boolean algebras and orbits of the lattice of r. e. sets modulo the finite sets” The journal of symbolic logic. Vol. 55. Number 2, 1990 página 744-760


Andreas Blass. “Infinitary combinatorics and modal logic” The journal of symbolic logic. Vol. 55. Number 2, 1990 página 761-778


Margarita Otero. “On diophantine equations solvable in models of open induction” The journal of symbolic logic. Vol. 55. Number 2, 1990 página 779-786


J. F. Knight. “A metatheorem for constructions by finitely many workers” The journal of symbolic logic. Vol. 55. Number 2, 1990 página 787-804


Jaap Van Oosten. “Lifschitz’ realizability” The journal of symbolic logic. Vol. 55. Number 2, 1990 página 805-821


Thomas Jech and Saharon Shelah. “Full reflection of stationary sets below NwThe journal of symbolic logic. Vol. 55. Number 2, 1990 página 822-830


Andrea Sorbi. “Some remarks on the algebraic structure of the medvedev lattice” The journal of symbolic logic. Vol. 55. Number 2, 1990 página 831- 853


Norman Feldman. “Cylindric algebras with terms” The journal of symbolic logic. Vol. 55. Number 2, 1990 página 854-866


THE JOURNAL OF SYMBOLIC LOGIC. VOL 55. Number 3. 1990.


Tapani Hyttinen and Jouko Väänänen. “On scott and Karp trees of uncountable models” The journal of symbolic logic. Vol. 55. Number 3, 1990 página 897-908


Haim Judah and Saharon Shelah. “The Kunen- Miller chart (Lebesgue measure, the Baire property, Laver reals and preservation theorems for forcing)” The journal of symbolic logic. Vol. 55. Number 3, 1990 página 909-927


James Loveys. “Weakly minimal groups of unbounded exponent” The journal of symbolic logic. Vol. 55. Number 3, 1990 página 928-937


J. M. Henle. “Partition properties and Prikry forcing on simple spaces” The journal of symbolic logic. Vol. 55. Number 3, 1990 página 938-947


Paul Bankston and Wim Ruitenburg. “Notions of relative ubiquity for invariant sets of relational structures” The journal of symbolic logic. Vol. 55. Number 3, 1990 página 948-986


Christine Ann Haught and Richard A. Shore. “Undecidability and initial segments of the (r. e.) tt-degrees” The journal of symbolic logic. Vol. 55. Number 3, 1990 página 987-1006


Shih- Ping Tung. “Decidable fragments of field theories” The journal of symbolic logic. Vol. 55. Number 3, 1990 página 1007-1018


Dan Velleman. “Partitioning pairs of countable sets of ordinals” The journal of symbolic logic. Vol. 55. Number 3, 1990 página 1019-1021


Arnold W. Miller. “Sets theoretic properties of Loeb measure” The journal of symbolic logic. Vol. 55. Number 3, 1990 página 1022-1036


Ludomir Newelski. “Omiting types for stable ccc theories” The journal of symbolic logic. Vol. 55. Number 3, 1990 página 1037-1047


Jeffrey S. Carroll. “Maximal r. e. equivalence relations” The journal of symbolic logic. Vol. 55. Number 3, 1990 página 1048-1058


Alessandro Berarducci. “The interpretability logic of Peano arithmetic” The journal of symbolic logic. Vol. 55. Number 3, 1990 página 1059-1089


Sergei Artemov and Giorgie Dzhaparidze. “Finite Kripke models and predicate logics of provability” The journal of symbolic logic. Vol. 55. Number 3, 1990 página 1090-1098


Pierluigi Minari, Mitio Takano and Hiroakira Ono. “Inmediate predicate logics determined by ordinals” The journal of symbolic logic. Vol. 55. Number 3, 1990 página 1099-1124


Johan Pas. “On the angular component map modulo PThe journal of symbolic logic. Vol. 55. Number 3, 1990 página 1125-1129


James H. Schmerl. “Coinductive N0-categorical theories” The journal of symbolic logic. Vol. 55. Number 3, 1990 página 1130-1137


Anand Pillay. “Differentially algebraic group chunks” The journal of symbolic logic. Vol. 55. Number 3, 1990 página 1138-1142


Michiel Van Lambalgen. “The axiomatization of randomness” The journal of symbolic logic. Vol. 55. Number 3, 1990 página 1143-1167


John Chisholm. “Efective model theory vs. recursive model theory” The journal of symbolic logic. Vol. 55. Number 3, 1990 página 1168-1191


Alain Touraille. “Théries d’algèbres de Boole munies dídeaux distingués. II.” The journal of symbolic logic. Vol. 55. Number 3, 1990 página 1192-1212


John Chisholm. “The complexity of intrinsically r. e. subsets of existentially decidable models” The journal of symbolic logic. Vol. 55. Number 3, 1990 página 1213-1232


David Ross. “The special model axiom in nonstandard analysis” The journal of symbolic logic. Vol. 55. Number 3, 1990 página 1233-1242


D. Marker and A. Pillay. “Reducts of (C, +, .) which contain +” The journal of symbolic logic. Vol. 55. Number 3, 1990 página 1243-1251


Alex Heller. “An existence theorem for recursion categories” The journal of symbolic logic. Vol. 55. Number 3, 1990 página 1252-1268


William M. Farmer. “A partial functions version of Church’s simple theory of types” The journal of symbolic logic. Vol. 55. Number 3, 1990 página 1269-1291


Michael H. Albert and Rami P. Grossberg. “Rich models” The journal of symbolic logic. Vol. 55. Number 3, 1990 página 1292-1298


THE JOURNAL OF SYMBOLIC LOGIC. VOL 55. Number 4. 1990.


“Cumulative index to volumes 27-55 (1962-1990)” The journal of symbolic logic. Vol. 55. Number 4, 1990 página 1329


“Index of contributed papers” The journal of symbolic logic. Vol. 55. Number 4, 1990 página 1330-1390


“Index of abstracts” The journal of symbolic logic. Vol. 55. Number 4, 1990 página 1391-1478


“Index of reviews” The journal of symbolic logic. Vol. 55. Number 4, 1990 página 1479


“By author of work reviewed” The journal of symbolic logic. Vol. 55. Number 4, 1990 página 1480-1740


“By reviewer” The journal of symbolic logic. Vol. 55. Number 4, 1990 página 1741-1751


“List of officers and members of the Association for Symbolic Logic” The journal of symbolic logic. Vol. 55. Number 4, 1990 página 1752-1789


“Notices” The journal of symbolic logic. Vol. 55. Number 4, 1990 página 1790


THE JOURNAL OF SYMBOLIC LOGIC. VOL 56. Number 1. 1991.


Solomon Feferman. “Reflecting on incompleteness” The journal of symbolic logic. Vol. 56. Number 1, 1991 página 1-49


Boško Živaljevic´. “The structure of graphs all of whose Y- sections are internal sets” The journal of symbolic logic. Vol. 56. Number 1, 1991 página 50-66


Kostas Hatzikiriakou. “Minimal prime ideals and arithmetic comprehension” The journal of symbolic logic. Vol. 56. Number 1, 1991 página 67-70


H. Jerome Keisler and Steven C. Leth. “Meager sets on the hyperfinite time line” The journal of symbolic logic. Vol. 56. Number 1, 1991 página 71-102


Maxim R. Burke. “Powers of the ideal of Lebesgue measure zero sets” The journal of symbolic logic. Vol. 56. Number 1, 1991 página 103-107


Dirk R. H. Schlingmann. “Ramsey cardinals, (ι-Erdös cardinals, and the core model” The journal of symbolic logic. Vol. 56. Number 1, 1991 página 108-114


Rami Grossberg. “Indiscernible sequences in a model which fails to have the order property” The journal of symbolic logic. Vol. 56. Number 1, 1991 página 115-123


Rami Grossberg. “On chains of the relatively satured submodels of a model without the order property” The journal of symbolic logic. Vol. 56. Number 1, 1991 página 124-128


Gunnar Stålmarck. “Normalization theorems for full first order classical natural deduction” The journal of symbolic logic. Vol. 56. Number 1, 1991 página 129-149


Harold T. Hodes. “Where do sets come from?” The journal of symbolic logic. Vol. 56. Number 1, 1991 página 150-175


Simon Thomas. “Reducts of the random graph” The journal of symbolic logic. Vol. 56. Number 1, 1991 página 176-181


Alexander S. Kechris. “Amenable equivalence relations and Turing degrees” The journal of symbolic logic. Vol. 56. Number 1, 1991 página 182-194


Seema Ahmad. “Embedding the diamond in the Σ 2 enumeration degrees” The journal of symbolic logic. Vol. 56. Number 1, 1991 página 195-212


Marcel Crabbé. “Stratification and cut-elimination” The journal of symbolic logic. Vol. 56. Number 1, 1991 página 213-226


Harold Schellinx. “Isomorphisms and nonisomorphisms of graph models” The journal of symbolic logic. Vol. 56. Number 1, 1991 página 227-249


James Loveys. “Abelian groups with modular generic” The journal of symbolic logic. Vol. 56. Number 1, 1991 página 250-259


Steve Jackson. “Admissible Suslin cardinals in L (R)” The journal of symbolic logic. Vol. 56. Number 1, 1991 página 260-275


Arnon Avron. “Natural 3-valued logics-characterization and proof theory” The journal of symbolic logic. Vol. 56. Number 1, 1991 página 276-294


Daniel Gluschankof. “The elementary class of products of totally ordered abelian groups” The journal of symbolic logic. Vol. 56. Number 1, 1991 página 295-299


Wilfrid Hodges and Saharon Shelah. “There are reasonably nice logics” The journal of symbolic logic. Vol. 56. Number 1, 1991 página 300-322


Thomas Forster and Richard Kaye. “End-extensions preserving power set” The journal of symbolic logic. Vol. 56. Number 1, 1991 página 323-328


THE JOURNAL OF SYMBOLIC LOGIC. VOL 56. Number 2. 1991.


Grigori Mints. “Proof theory in the USSR 1925-1969” The journal of symbolic logic. Vol. 56. Number 2, 1991 página 385-424


Paul Bankston. “Corrigendum to “Taxonomies of model-theoretically defined topological properties”” The journal of symbolic logic. Vol. 56. Number 2, 1991 página 425-426


Leszek Pacholski and Wieslaw Szwast. “Asymptotic probabilities of existential second-order Gödel sentences” The journal of symbolic logic. Vol. 56. Number 2, 1991 página 427-438


Kai Hauser. “Indecribeble cardinals and elementary embeddings” The journal of symbolic logic. Vol. 56. Number 2, 1991 página 439-457


Richard Kaye. “A generalization of Specker´s theorem on typical ambiguity” The journal of symbolic logic. Vol. 56. Number 2, 1991 página 458-466


M. D. G. Swaen. “The logic of first order intuitionistic type theory with weak sigma-elimination” The journal of symbolic logic. Vol. 56. Number 2, 1991 página 467-483


Ido Efrat. “The elementary theory of free psedo p-adically closed fields of finite corank” The journal of symbolic logic. Vol. 56. Number 2, 1991 página 484-496


K. Lano. “Intuitionistic modal logic and set theory” The journal of symbolic logic. Vol. 56. Number 2, 1991 página 497-516


Silvio Ghilardi. “Incompleteness results in Kripke semantics” The journal of symbolic logic. Vol. 56. Number 2, 1991 página 517-538


Luc Bélair. “Anneaux p-adiquement clos et anneaux de fonctions définissables” The journal of symbolic logic. Vol. 56. Number 2, 1991 página 539-553


Robert Goldblatt. “The McKinsey axiom is not canoical” The journal of symbolic logic. Vol. 56. Number 2, 1991 página 554-562


Peter G. Hinman and Theodore A. Slaman. “Jump embeddings in the Turing degrees” The journal of symbolic logic. Vol. 56. Number 2, 1991 página 563-591


Mitchell Spector. “Extended ultrapowers and the Vopěnka- Hrbáček theorem without choice” The journal of symbolic logic. Vol. 56. Number 2, 1991 página 592-607


Michal Krynicki and Hans-Peter Tuschik. “An axiomatization of the logic with the rough quantifier” The journal of symbolic logic. Vol. 56. Number 2, 1991 página 608-617


I. Aguzarov, R. E. Farey, and J. B. Goode. “An infinite superstable group has infinitely many conjugacy classes” The journal of symbolic logic. Vol. 56. Number 2, 1991 página 618-623


J. B. Goode. “Some trivial considerations” The journal of symbolic logic. Vol. 56. Number 2, 1991 página 624-631


Yiannis Vourtsanis. “A direct proof of the Feferman- Vaught theorem and other preservation theorems in products” The journal of symbolic logic. Vol. 56. Number 2, 1991 página 632-636


Joseph Y. Halpern. “Presburger arithmetic with unary predicates is ∏ 1/1 complete” The journal of symbolic logic. Vol. 56. Number 2, 1991 página 637-642


Robert A. Di Paola and Franco Montagna. “Some properties of the syntactic p-recursion categories generated by consistent, recursively enumerable extensions of Peano arithmetic” The journal of symbolic logic. Vol. 56. Number 2, 1991 página 643-660


Daniel N. Osherson, Michael Stob, and Scott Weinstein. “A universal inductive inference machine” The journal of symbolic logic. Vol. 56. Number 2, 1991 página 661-672


C. J. Ash. “A contruction for recursive linear orderings” The journal of symbolic logic. Vol. 56. Number 2, 1991 página 673-683


C. G. Jockusch, A. Lewis, and J. B. Remmel. “∏0/1 –classes and Rado’s selection principle” The journal of symbolic logic. Vol. 56. Number 2, 1991 página 684-693


Ali Nesin. “Poly-separated and w-stable nilpotent groups” The journal of symbolic logic. Vol. 56. Number 2, 1991 página 694-699


Sedki Boughattas. “L’ arithmétique ouverte et sets modèles non-standards” The journal of symbolic logic. Vol. 56. Number 2, 1991 página 700-714


Michael Rathjen. “The role of parameters in bar rule and bar induction” The journal of symbolic logic. Vol. 56. Number 2, 1991 página 715-730


Hirokazu Nishimura. “Boolean Valued lie algebras” The journal of symbolic logic. Vol. 56. Number 2, 1991 página 731-741


Steve Jackson and R. Daniel Mauldin. “Nonuniformization results for the projective hierarchy” The journal of symbolic logic. Vol. 56. Number 2, 1991 página 742-748


THE JOURNAL OF SYMBOLIC LOGIC. VOL 56. Number 3. 1991.


Haim Judah and Saharon Shelah. “Forcing minimal degree of constructability” The journal of symbolic logic. Vol. 56. Number 3, 1991 página 769-782


Luc Bélair and Jean- Louis Duret. “Définissabilité dans les corps de fonctions p-adiques” The journal of symbolic logic. Vol. 56. Number 3, 1991 página 783-785


Marion Scheepers. “Concerning n-tactics in the countable-finite game” The journal of symbolic logic. Vol. 56. Number 3, 1991 página 786-794


Jörg Brendle. “Larger cardinals in Cichoń’s diagram” The journal of symbolic logic. Vol. 56. Number 3, 1991 página 795-810


Margarita Otero. “Corrigendum” The journal of symbolic logic. Vol. 56. Number 3, 1991 página 811-812


Siu-Ah Ng. “A generalization of forking” The journal of symbolic logic. Vol. 56. Number 3, 1991 página 813-822


Siu-Ah Ng. “Definable FN bases” The journal of symbolic logic. Vol. 56. Number 3, 1991 página 823-831


Bradd Hard and Matthew Valeriote. “A structure theorem for strongly abelian varieties with few models” The journal of symbolic logic. Vol. 56. Number 3, 1991 página 832-852


Françoise Delon and Danielle Gondard. “XVIIème problème de Hilbert sur corps chaîne-clos” The journal of symbolic logic. Vol. 56. Number 3, 1991 página 853-861


Masanori Itai. “On the strong Martin conjecture” The journal of symbolic logic. Vol. 56. Number 3, 1991 página 862-875


Dugald Macpherson and James Schmerl. “Binary relational structures having only countable many nonisomorphic substructures” The journal of symbolic logic. Vol. 56. Number 3, 1991 página 876-884


Zofia Adamowicz. “On miximal theories” The journal of symbolic logic. Vol. 56. Number 3, 1991 página 885-890


Leonard M. Adleman and M. Blum. “Inductive inference and unsolvability” The journal of symbolic logic. Vol. 56. Number 3, 1991 página 891-900


Kees Doets. “Axiomatizing universal properties of quantifiers” The journal of symbolic logic. Vol. 56. Number 3, 1991 página 901- 905


Boško Živaljevic´. “U-meager sets when the cofinality of U are uncountable” The journal of symbolic logic. Vol. 56. Number 3, 1991 página 906-914


Alin Nesin. “On bad groups, bad fields, and pseudoplanes” The journal of symbolic logic. Vol. 56. Number 3, 1991 página 915-931


M. Victoria Marshall and Rolando Chuaqui. “Sentences of type theory: the only sentences preserved under isomorphisms” The journal of symbolic logic. Vol. 56. Number 3, 1991 página 932-948


Richard Kaye. “Model-theoretic properties characterizing Peano arithmetic” The journal of symbolic logic. Vol. 56. Number 3, 1991 página 949-963


Jaap Van Oosten. “Extension of Lifschitz’ realizability to higher order arithmetic, and a solution to a problem of F. Richman” The journal of symbolic logic. Vol. 56. Number 3, 1991 página 964-973


Françoise Delon. “Plongement dense d’ un corps ordonné dans sa clôture réelle” The journal of symbolic logic. Vol. 56. Number 3, 1991 página 974-980


Michael Scanlan. “Who were the American postulate theorists?” The journal of symbolic logic. Vol. 56. Number 3, 1991 página 981-1002


Anand Pillay. “Some remarks on modular regular types” The journal of symbolic logic. Vol. 56. Number 3, 1991 página 1003-1011


Erik Palmgren. “A construction of type: type in Martin-Löf´s partial type theory with one universe” The journal of symbolic logic. Vol. 56. Number 3, 1991 página 1012-1015


H. Jerome Keisler and James H. Schmerl. “Making the hyperreal line both saturated and complete” The journal of symbolic logic. Vol. 56. Number 3, 1991 página 1016-1025


Frank O. Wagner. “Small stable groups and generics” The journal of symbolic logic. Vol. 56. Number 3, 1991 página 1026-1037


Gaisi Takeuti. “A second order version of S ½ and U 1/2” The journal of symbolic logic. Vol. 56. Number 3, 1991 página 1038-1063


R. Zrotowski. “Normality and P(k)/J The journal of symbolic logic. Vol. 56. Number 3, 1991 página 1064-1067


Martin Kummer. “Diagonals and semihyperhypersimple sets” The journal of symbolic logic. Vol. 56. Number 3, 1991 página 1068-1074


Masahiro Kumabe. “Relative recursive enumerability of generic degrees” The journal of symbolic logic. Vol. 56. Number 3, 1991 página 1075-1084


THE JOURNAL OF SYMBOLIC LOGIC. VOL 56. Number 4. 1991.


Heirich Herre, Michal Krynicki, Alexandr Pinus, and Jouko Väänänen. “The Härtig quantifier: a suvery” The journal of symbolic logic. Vol. 56. Number 4, 1991 página 1153-1183


Steven Buechler. “Pseudoprojective strongly minimal sets are locally projective” The journal of symbolic logic. Vol. 56. Number 4, 1991 página 1184-1194


James E. Baumgartner and Otmar Spinas. “Independence and consistency proofs in quadratic form theory” The journal of symbolic logic. Vol. 56. Number 4, 1991 página 1195-1211


Robert Bonnet and Matatyahu Rubin. “Elementary embeddings between countable Boolean algebras” The journal of symbolic logic. Vol. 56. Number 4, 1991 página 1212-1229


Franco Parlamento and Alberto Policriti. “Expressing infinite without foundation” The journal of symbolic logic. Vol. 56. Number 4, 1991 página 1230-1235


Françoise Delon. “Indécidabilité de la théorie des paires immédiates de corps valués henseliens” The journal of symbolic logic. Vol. 56. Number 4, 1991 página 1236-1242


Colin McLarty. “Axiomatizing a category of categories” The journal of symbolic logic. Vol. 56. Number 4, 1991 página 1243-126

L. A. Chagrova. “An undecidable problem in correspondence theory” The journal of symbolic logic. Vol. 56. Number 4, 1991 página 1261-1272


Cichoń, M. Morayne, P. Pawlikowski and S. Solecki. “Decomposing Baire functions” The journal of symbolic logic. Vol. 56. Number 4, 1991 página 1273-1283


Z. Balogh and G. Gruenhage. “On a problem of C. H. Dowker” The journal of symbolic logic. Vol. 56. Number 4, 1991 página 1284-1289


Shaughan Lavine. “Dual easy uniformization and model-theoretic descriptive set theory” The journal of symbolic logic. Vol. 56. Number 4, 1991 página 1290-1316


Dugald Macpherson. “Interpreting groups in w-categorical structures” The journal of symbolic logic. Vol. 56. Number 4, 1991 página 1317-1324


Tom Linton. “Countable structures, Ehrenfeucht strategies, and Wadge reductions” The journal of symbolic logic. Vol. 56. Number 4, 1991 página 1325-1348


Hajime Ishihara. “Continuity and nondiscontinuity in constructive mathematics” The journal of symbolic logic. Vol. 56. Number 4, 1991 página 1349-1354


Stanley Burris Ralph McKenzie, and Matthew Valeriote. “Decidable discriminator varieties from unary varieties” The journal of symbolic logic. Vol. 56. Number 4, 1991 página 1355-1368


Alessandro Andretta. “Building iteration trees” The journal of symbolic logic. Vol. 56. Number 4, 1991 página 1369-1384


Andreas Baudisch. “A construction of superstable ndop-notop groups” The journal of symbolic logic. Vol. 56. Number 4, 1991 página 1385-1390


Ali Nesin. “Generalized fitting subgroup of a group of finite Morley rank” The journal of symbolic logic. Vol. 56. Number 4, 1991 página 1391-1399


P. Komjáth. “A set mapping with no infinite free subsets” The journal of symbolic logic. Vol. 56. Number 4, 1991 página 1400-1402


V. Michele Abrusci. “Phase semantics and sequence calculus for pure noncommutative classical linear propositional logic” The journal of symbolic logic. Vol. 56. Number 4, 1991 página 1403-1451


James Cain and Zlatan Damnjanovic. “On the weak Kleene scherme in Kripke’s theory of truth” The journal of symbolic logic. Vol. 56. Number 4, 1991 página 1452-1468


Marcus Kracht and Frank Wolter. “Properties of independently axiomatizable bimodal logics” The journal of symbolic logic. Vol. 56. Number 4, 1991 página 1469-1485


Harold T. Hodes. “Corrections to where do sets come from?” The journal of symbolic logic. Vol. 56. Number 4, 1991 página 1486


THE JOURNAL OF SYMBOLIC LOGIC. VOL 57. Number 1. 1992.


Shih Ping Tung. “Arithmetic definability by formulas with two quantifiers” The journal of symbolic logic. Vol. 57. Number 1, 1992 página 1-11


Paola D’ Aquino. “Local behaviour of the Chebyshev theorem in models of IΔ0” The journal of symbolic logic. Vol. 57. Number 1, 1992 página 12-27


Thierry Coquand. “An intuitionistic proof of Tychonoff’s theorem” The journal of symbolic logic. Vol. 57. Number 1, 1992 página 28-32


Andrew M. Pitts. “On an interpretation of second order quantification in first order intuitionistic propositional logic” The journal of symbolic logic. Vol. 57. Number 1, 1992 página 33-52


William I. Gasarch, Mark G. Pleszoch and Robert Solovay. “Learning via queries in [+, <]” The journal of symbolic logic. Vol. 57. Number 1, 1992 página 53-81


Juha Oikkonen. “A recursion principle for linear orderings” The journal of symbolic logic. Vol. 57. Number 1, 1992 página 82-96


A. Pillay and Z. Sokolović. “Superstable differencial fields” The journal of symbolic logic. Vol. 57. Number 1, 1992 página 97-108


David Marker, Ya´acov Peterzil and Anand Pillay. “Additive reducts of real closed fields” The journal of symbolic logic. Vol. 57. Number 1, 1992 página 109-117


Libo Lo. “Functions and functionals of finite systems” The journal of symbolic logic. Vol. 57. Number 1, 1992 página 118-129


Albert Visser. “An inside view of EXP; or, The closed fragment of the provelity logic of the provability logic of IΔ0 + Ω1 with a propositional constant for EXP” The journal of symbolic logic. Vol. 57. Number 1, 1992 página 130-165


Dan Vellerman. “On a topological construction of Juhasz and Shelah” The journal of symbolic logic. Vol. 57. Number 1, 1992 página 166-171


Boško Živalević. “Lusin-Sierpiński index for the internal sets” The journal of symbolic logic. Vol. 57. Number 1, 1992 página 172-178


Douglas Albert, Robert Baldinger and John Rhodes. “Undecidability of the identity problem for finite semigroups” The journal of symbolic logic. Vol. 57. Number 1, 1992 página 179-192


Ivo Herzog and Philipp Rothmaler. “Modules with regular generic types- Part IV.” The journal of symbolic logic. Vol. 57. Number 1, 1992 página 193-199


Victor Harnik and Michael Makkai. “Lambek’s categorical proof theory and Läuchli’s abstract realizability” The journal of symbolic logic. Vol. 57. Number 1, 1992 página 200-230


Martin Otto. “Automorphism properties of stationary logic” The journal of symbolic logic. Vol. 57. Number 1, 1992 página 231-237


Daniel Lascar. “Les automorphismes d’ un ensamble fortement minimal” The journal of symbolic logic. Vol. 57. Number 1, 1992 página 238-251


THE JOURNAL OF SYMBOLIC LOGIC. VOL 57. Number 2. 1992.


Vladimir A. Uspensky. “Kolmogorov and mathematical logic” The journal of symbolic logic. Vol. 57. Number 2, 1992 página 385-412


A. S. Kechris and A. Louveau. “Descriptive set theory and harmonic analysis” The journal of symbolic logic. Vol. 57. Number 2, 1992 página 413-441


Lauri Hella and Kerkko Luosto. “The beth-clousure of L (Q α) is not finitely generated” The journal of symbolic logic. Vol. 57. Number 2, 1992 página 442-448


Lee A. Rubel. “On the ring of differentially-algebraic entire functions” The journal of symbolic logic. Vol. 57. Number 2, 1992 página 449-451


Athanassios Tzouvaras. “On expandability of models of Peano arithmetic to models of the alternative set theory” The journal of symbolic logic. Vol. 57. Number 2, 1992 página 452-460


Julius B. Barbenel. “A note on a result of Kunen and Pelletier” The journal of symbolic logic. Vol. 57. Number 2, 1992 página 461-465


Victor Harnik. “Provably total functions of intuitionistic bounded arithmetic” The journal of symbolic logic. Vol. 57. Number 2, 1992 página 466-477


Shaughan Lavine. “A spector- gandy theorem for cPCd (Ⱥ) classes” The journal of symbolic logic. Vol. 57. Number 2, 1992 página 478-500


A. H. Lachlan. “No- categorical tree-decomposable structures” The journal of symbolic logic. Vol. 57. Number 2, 1992 página 501-514


Roger Villemaire. “Theories of modules closed under direct products” The journal of symbolic logic. Vol. 57. Number 2, 1992 página 515-521


Renling Jin. “Cuts in hyperfinite time lines” The journal of symbolic logic. Vol. 57. Number 2, 1992 página 522-527


Renling Jin. “U-Lusin hyperfinite time lines” The journal of symbolic logic. Vol. 57. Number 2, 1992 página 528-533


Renling Jin. “U-monad topologies of hyperfinite time lines” The journal of symbolic logic. Vol. 57. Number 2, 1992 página 534-539


Janusz Pawlikowski. “Adding dominating reals with ww bounding posets” The journal of symbolic logic. Vol. 57. Number 2, 1992 página 540-547


Frank O. Wagner. “À propos d’ équations génériques” The journal of symbolic logic. Vol. 57. Number 2, 1992 página 548-554


Colin McLarty. “Failure of Cartesian closedness in NF” The journal of symbolic logic. Vol. 57. Number 2, 1992 página 555-556


Hajime Ishihara. “Continuity properties in constructive mathematics” The journal of symbolic logic. Vol. 57. Number 2, 1992 página 557-565


Maarten de Rijke. “The modal logic of inequality” The journal of symbolic logic. Vol. 57. Number 2, 1992 página 566-584


Zhang Qinglong. “The density of the meet-inaccessible r. e. degrees” The journal of symbolic logic. Vol. 57. Number 2, 1992 página 585-596


Zofia Adamowicz. “A sharp version of the bounded Matijasevich conjecture and the end-extension problem” The journal of symbolic logic. Vol. 57. Number 2, 1992 página 597-616


Carlos H. Montenegro E. “Combinatorics on large cardinals” The journal of symbolic logic. Vol. 57. Number 2, 1992 página 617-643


Ludomir Newelski. “A model and its subset” The journal of symbolic logic. Vol. 57. Number 2, 1992 página 644-658


Jean-Yves Girard and Dag Normann. “Embeddability of ptykes” The journal of symbolic logic. Vol. 57. Number 2, 1992 página 659-676


Martin Kummer. “A proof of Beigel’s cardinality conjecture” The journal of symbolic logic. Vol. 57. Number 2, 1992 página 677-681


Valentina Harizanov, Matin Kummer, and Jim Owings. “Frequency computations and the cardinality theorem” The journal of symbolic logic. Vol. 57. Number 2, 1992 página 682-687


Ricardo Bianconi. “On sets V-definable from Pfaffian functions” The journal of symbolic logic. Vol. 57. Number 2, 1992 página 688-697


T. G. Kucera and M. Prest. “Imagnary modules” The journal of symbolic logic. Vol. 57. Number 2, 1992 página 698-723


T. G. Kucera and M. Prest. “Four concepts from “geometrical” stability theory in modules” The journal of symbolic logic. Vol. 57. Number 2, 1992 página 724-740


David Ballard and Karel Hrbacek. “Standard foundations for nonstandard analysis” The journal of symbolic logic. Vol. 57. Number 2, 1992 página 741-748


THE JOURNAL OF SYMBOLIC LOGIC. VOL 58. Number 2. 1993.


Bruno Poizat et Frank Wagner. “Sous-groupes periodiques d’ un groupe stable” The journal of symbolic logic. Vol. 58. Number 2, 1993 página 385-400


Tomek Bartoszynski, Haim Judah, and Saharon Shelah. “The Cichoń diagram” The journal of symbolic logic. Vol. 58. Number 2, 1993 página 401-423


Pawel Pazdyka. “Definibility of models by means of existential formulas without identity” The journal of symbolic logic. Vol. 58. Number 2, 1993 página 424-434


S. Shelah and D. H. Fremlin. “Pointwise compact and stable sets of measurable functions” The journal of symbolic logic. Vol. 58. Number 2, 1993 página 435-455


Margarita Otero. “Quadratic forms in normal open induction” The journal of symbolic logic. Vol. 58. Number 2, 1993 página 456-476


Andrea Cantini. “Extending the first-order theory of combinators with self-referential truth” The journal of symbolic logic. Vol. 58. Number 2, 1993 página 477-513


Gerard Allwein and J. Michael Dunn. “Kripke models for linear logic” The journal of symbolic logic. Vol. 58. Number 2, 1993 página 514-545


Mark Kelly Davis and Ali Nesin. “On solvable centerless groups of Morley rank 3” The journal of symbolic logic. Vol. 58. Number 2, 1993 página 546-556


Douglas K. Brown and Stephen G. Simpson. “The baire category theorem in weak subsystems of second-order arithmetic” The journal of symbolic logic. Vol. 58. Number 2, 1993 página 557-578


Richard G. Heck, Jr. “The development of arithmetic in Frege’s Grundgesetze der arithmetikThe journal of symbolic logic. Vol. 58. Number 2, 1993 página 579-601


Sven Ove Hansson. “Theory contration and base contraction unified” The journal of symbolic logic. Vol. 58. Number 2, 1993 página 602-625


Yuichi Komori and Sachio Hirokawa. “The number of proofs for a BCK-formula” The journal of symbolic logic. Vol. 58. Number 2, 1993 página 626-628


Peter Cholah and Rod Downwey. “On the Cantor-Bendixon rank of recursively enumerable sets” The journal of symbolic logic. Vol. 58. Number 2, 1993 página 629-640


M. H. Mourgues and J. P. Ressayre. “Every real closed field has an integer part” The journal of symbolic logic. Vol. 58. Number 2, 1993 página 641-647


Ludomir Newelski. “Scott analysis of pseudotypes” The journal of symbolic logic. Vol. 58. Number 2, 1993 página 648-663


Andreas Weiermann. “Bounds for the clousure ordinals of essentially monotonic increasing functions” The journal of symbolic logic. Vol. 58. Number 2, 1993 página 664-671


P. T. Bateman, C. G. Jockusch, and A. R. Woods. “Decidability and undecidability of theories with a predicate for the primes” The journal of symbolic logic. Vol. 58. Number 2, 1993 página 672-687


Maria Luisa Bonet and Samuel R. Buss. “The deduction rule and linear and near-linear proof simulations” The journal of symbolic logic. Vol. 58. Number 2, 1993 página 688-709


THE JOURNAL OF SYMBOLIC LOGIC. VOL 58. Number 3. 1993.


Henk Barendregt, Martin Bunder, and Wil Dekkers. “Systems of illative combinatory logic complete for first-order propositional and predicate calculus” The journal of symbolic logic. Vol. 58. Number 3, 1993 página 769-788


Makoto Tatsuta. “Uniqueness of normal proofs of minimal formulas” The journal of symbolic logic. Vol. 58. Number 3, 1993 página 789-799


D. M. Gabbay and V. B. Shehtman. “Undecidability of modal and intermediate first-order logics with two individual variables” The journal of symbolic logic. Vol. 58. Number 3, 1993 página 800-823


Richard A. Shore and Theodore A. Slaman. “Working below a high recursively eumerable degree” The journal of symbolic logic. Vol. 58. Number 3, 1993 página 824-859


Carlos A. Di Prisco and James M. Henle. “Partitions of products” The journal of symbolic logic. Vol. 58. Number 3, 1993 página 860-871


G. P. Monro. “Logic, sheaves, and factorization systems” The journal of symbolic logic. Vol. 58. Number 3, 1993 página 872-893


Alexander S. Kechris. “Amenable versus hyperfinite Borel equivalence relations” The journal of symbolic logic. Vol. 58. Number 3, 1993 página 894-907


Warren Goldfarb. “Random models and solvable Skolem classes” The journal of symbolic logic. Vol. 58. Number 3, 1993 página 908-914


Rafel Farré. “A transfer theorem for Henselian valued and ordered fields” The journal of symbolic logic. Vol. 58. Number 3, 1993 página 915-930


J. R. Steel. “The well-foundedness of the Mitchell order” The journal of symbolic logic. Vol. 58. Number 3, 1993 página 931-940


Dror Ben-Arié and Haim Judah. “Δ⅓-stability” The journal of symbolic logic. Vol. 58. Number 3, 1993 página 941-954


Ya’ Acov Peterzil. “Reducts of some structures over the reals” The journal of symbolic logic. Vol. 58. Number 3, 1993 página 955-966


Alexander Chagrov and Michael Zakharyaschev. “The undecidability of the disjunction property of propositional logics and other related problems” The journal of symbolic logic. Vol. 58. Number 3, 1993 página 967-1002


Yde Venema. “Derivation rules as anti-axioms in modal logic” The journal of symbolic logic. Vol. 58. Number 3, 1993 página 1003-1034


Marion Scheepers. “Variations on a game of Gale (I): Coding strategies” The journal of symbolic logic. Vol. 58. Number 3, 1993 página 1035-1043


Frank O. Wagner. “Quasi-endomorphisms in small stable groups” The journal of symbolic logic. Vol. 58. Number 3, 1993 página 1044-1051


Alan Mekler and Jouko Väänänen. “Trees and ∏ 1/1–subsets of w1 w1” The journal of symbolic logic. Vol. 58. Number 3, 1993 página 1052-107


THE JOURNAL OF SYMBOLIC LOGIC. VOL 58. Number 4. 1993.


Greg Hjorth. “Thin equivalence relations and effective decompositions” The journal of symbolic logic. Vol. 58. Number 4, 1993 página 1153-1164


Siu-Ah Ng. “A remark on locally pure measures” The journal of symbolic logic. Vol. 58. Number 4, 1993 página 1165-1170


Rvszard Frankiewicz, Saharon Shelah, and Pawel Zbierski. “On closed P-sets with ccc in the space w*” The journal of symbolic logic. Vol. 58. Number 4, 1993 página 1171-1176


John Todd Hammond. “Nonisomorphism of lattices of recursively enumerable sets” The journal of symbolic logic. Vol. 58. Number 4, 1993 página 1177-1188


M. C. Laskowski and S. Shelah. “On the existence of atomic models” The journal of symbolic logic. Vol. 58. Number 4, 1993 página 1189-1194


Erik Palmgren. “A note on Mathematics of infinityThe journal of symbolic logic. Vol. 58. Number 4, 1993 página 1195-1200


Kecheng Liu. “Stationary subsets of [Nw] < wnThe journal of symbolic logic. Vol. 58. Number 4, 1993 página 1201-1218


Friedrich Wehrung. “Boolean universes above Boolean models” The journal of symbolic logic. Vol. 58. Number 4, 1993 página 1219-1250


Stefano Stefani. “A relativization mechanism in recursion categories” The journal of symbolic logic. Vol. 58. Number 4, 1993 página 1251-1267


Juris Steprans. “A very discontinuous Borel function” The journal of symbolic logic. Vol. 58. Number 4, 1993 página 1268-1283


Jörg Brendle. “Amoeba-absoluteness and projective measurability” The journal of symbolic logic. Vol. 58. Number 4, 1993 página 1284-1290


J. T. Baldwin, M. C. Laskowski, and S. Shelah. “Forcing isomorphism” The journal of symbolic logic. Vol. 58. Number 4, 1993 página 1291-1301


Elisabeth Bouscaren and Michael C. Laskowski. “S-homogeneity and automorphism groups” The journal of symbolic logic. Vol. 58. Number 4, 1993 página 1302-1322


Martin Goldstern, Haim Judah, and Saharon Shelah. “Strong measure zero sets without Cohen reals” The journal of symbolic logic. Vol. 58. Number 4, 1993 página 1323-1341


Daniel Gluschankof and François Lucas. “Hyper-regular lattice-ordered groups” The journal of symbolic logic. Vol. 58. Number 4, 1993 página 1342-1358


James J. Moloney. “An existence theorem for a special ultrafilter when ᶞ=c.” The journal of symbolic logic. Vol. 58. Number 4, 1993 página 1359-1364


Mauro Ferrari and Pierangelo Miglioli. “Counting the maximal intermediate constructive logics” The journal of symbolic logic. Vol. 58. Number 4, 1993 página 1365-1401


Saharon Shelah, Heikki Tuuri, and Jouko Väänänen. “On the number of automorphisms of uncountable models” The journal of symbolic logic. Vol. 58. Number 4, 1993 página 1402-1418


Bradd Hart and Sergei Starchenko. “Addendum to “A structure theorem for strongly abelian varieties”” The journal of symbolic logic. Vol. 58. Number 4, 1993 página 1419-1425


Hans Rott. “Belief contraction in the context of the general theory of rational choice” The journal of symbolic logic. Vol. 58. Number 4, 1993 página 1426-1450


Anatole Khelif. “The Bass-Milnor-Serre theorem for nonstandard in Peano arithmetic” The journal of symbolic logic. Vol. 58. Number 4, 1993 página 1451-1458


THE JOURNAL OF SYMBOLIC LOGIC. VOL 59. Number 2. 1994.


B. Mazur. “Questions of decidability and undecibility in number theory” The journal of symbolic logic. Vol. 59. Number 2, 1994 página 353-371


Thanases Pheidas. “Extensions of Hilbert’s tenth problem” The journal of symbolic logic. Vol. 59. Number 2, 1994 página 372-397


Roger D. Maddux. “Undecidable semiassocitive relation algebras” The journal of symbolic logic. Vol. 59. Number 2, 1994 página 398-418


Dirk Roorda. “Interpolation in fragments of classical linear logic” The journal of symbolic logic. Vol. 59. Number 2, 1994 página 419-444


Moti Gitik, and Menachem Magidor. “Extender based forcings” The journal of symbolic logic. Vol. 59. Number 2, 1994 página 445-460


Garvin Melles. “Natural internal forcing schemata extending ZFC: Truth in the universe?” The journal of symbolic logic. Vol. 59. Number 2, 1994 página 461-472


Brigitte Hösli, and Gerhard Jäger. “About some symmetries of negation” The journal of symbolic logic. Vol. 59. Number 2, 1994 página 473-485


Ganesh Baliga, John Case, Sanjay Jain, and Mandayam Suraj. “Machine learning of higher- order programs” The journal of symbolic logic. Vol. 59. Number 2, 1994 página 486-500


Othman Quasim Malhas. “Abacus logic: The lattice of quantum propositions as the poset of a theory” The journal of symbolic logic. Vol. 59. Number 2, 1994 página 501-515


Masahiro Kumabe. “Minimal upper bounds for arithmetical degrees” The journal of symbolic logic. Vol. 59. Number 2, 1994 página 516-528


Mark Fuller. “Normality of a filter over as space of partitions” The journal of symbolic logic. Vol. 59. Number 2, 1994 página 529-533


Allan S. Stern, and Stanislaw S. S´wierczkowski. “A clas of connected theories of order” The journal of symbolic logic. Vol. 59. Number 2, 1994 página 534-542


Samson Abramski, and Radha Jagadeesan. “Games and full completeness for multiplicative linear logic” The journal of symbolic logic. Vol. 59. Number 2, 1994 página 543-574


Frank O. Wagner. “A note on defining groups in stable structures” The journal of symbolic logic. Vol. 59. Number 2, 1994 página 575-578


E. Bouscaren, and E. Hrunshovski. “On one-based theories” The journal of symbolic logic. Vol. 59. Number 2, 1994 página 579-595


Danielle Mundici. “A constructive proof of McNaughton’s theorem in infinite-valued logic” The journal of symbolic logic. Vol. 59. Number 2, 1994 página 596-602


Marion Scheepers. “Meager nowhere-dense games (IV): n-tactics (continued)” The journal of symbolic logic. Vol. 59. Number 2, 1994 página 603-605


Sy D. Friedman. “The genericity conjecture” The journal of symbolic logic. Vol. 59. Number 2, 1994 página 606-614


Thomas Jech and Jiří Witzany. “Full reflection at a measurable cardinal” The journal of symbolic logic. Vol. 59. Number 2, 1994 página 615-630


Hajnal Andréka, Steven Givant, and István Németi. “The lattice of varieties of representable relation algebras” The journal of symbolic logic. Vol. 59. Number 2, 1994 página 631-661


Szymon Plewik. “Ideals of nowhere Ramsey sets are isomorphic” The journal of symbolic logic. Vol. 59. Number 2, 1994 página 662-667


THE JOURNAL OF SYMBOLIC LOGIC. VOL 59. Number 3. 1994.


Samuel R. Buss. “On Gödel’s theorems on lengths of proofs I: Number of lines and speedup for arithmetics” The journal of symbolic logic. Vol. 59. Number 3, 1994 página 737-756


Howard Becker. “The topological Vaught’s conjecture and minimal counterexamples” The journal of symbolic logic. Vol. 59. Number 3, 1994 página 757-784


Rineke Verbrugge and Albert Visser. “A small reflection principle for bounded arithmetic” The journal of symbolic logic. Vol. 59. Number 3, 1994 página 785-812


Joan Rand Moschovakis. “More about relatively lawless sequenses” The journal of symbolic logic. Vol. 59. Number 3, 1994 página 813-829


Mingsheng Ying. “A logic for approximate reasoning” The journal of symbolic logic. Vol. 59. Number 3, 1994 página 830-837


Ehud Hrushovski. “Finitely axiomatizable N1 categorical theories” The journal of symbolic logic. Vol. 59. Number 3, 1994 página 838-844


Sven Ove Hansson. “Kernel contraction” The journal of symbolic logic. Vol. 59. Number 3, 1994 página 845-859


M. Bekkali. “Chains and antichains in interval algebras” The journal of symbolic logic. Vol. 59. Number 3, 1994 página 860-867


Stephen A. Fenner. “Almost weakly 2-generic sets” The journal of symbolic logic. Vol. 59. Number 3, 1994 página 868-887


Simone Martini and Andrea Masini. “A modal view of linear logic” The journal of symbolic logic. Vol. 59. Number 3, 1994 página 888-899


Hirotaka Kikyo and Akito Tsuboi. “On reduction properties” The journal of symbolic logic. Vol. 59. Number 3, 1994 página 900-911


H. Andréka, A. Kurucz, and I. Németi. “Connections between axioms of set theory and basic theorems of universal algebra” The journal of symbolic logic. Vol. 59. Number 3, 1994 página 912-923


Tim Fernando. “Bisimulations and predicate logic” The journal of symbolic logic. Vol. 59. Number 3, 1994 página 924-944


Andreas Weiermann. “A functorial property of the Aczel-Buchholz-Feferman function” The journal of symbolic logic. Vol. 59. Number 3, 1994 página 945-955


Marcia Groszek. “w* 1 as an initial segment of the c-degrees” The journal of symbolic logic. Vol. 59. Number 3, 1994 página 956-976


Alistair H. Lachlan and Robert I. Soare. “Models of arithmetic and upper bounds for arithmetic sets” The journal of symbolic logic. Vol. 59. Number 3, 1994 página 977-983


Tapani Hyttinen and Saharon Shelah. “Constructing strongly equivalent nonisomorphic models for unsuperstable theories, Part A.” The journal of symbolic logic. Vol. 59. Number 3, 1994 página 984-996


James D. Sharp. “Combinatorics on ideals and axiom A.” The journal of symbolic logic. Vol. 59. Number 3, 1994 página 997-1000


Fernando Ferreira. “A feasible theory for analysis” The journal of symbolic logic. Vol. 59. Number 3, 1994 página 1001-1011


Arthur D. Grainger. “Flat sets” The journal of symbolic logic. Vol. 59. Number 3, 1994 página 1012-1021


Slawomir Solecki. “Covering analytic sets by families of closed sets” The journal of symbolic logic. Vol. 59. Number 3, 1994 página 1022-1031


Michael Sheard. “A guide to truth predicates in the modern era” The journal of symbolic logic. Vol. 59. Number 3, 1994 página 1032-1054


Yasuo Kanai. “On a generalization of distributivity” The journal of symbolic logic. Vol. 59. Number 3, 1994 página 1055-1067


Alexandra Shlapentokh. “Diophantine equivalence and countable rings” The journal of symbolic logic. Vol. 59. Number 3, 1994 página 1068-1095


Sy D. Friedman. “Jensen’s Σ* theory and the combinatorial content of V=L.” The journal of symbolic logic. Vol. 59. Number 3, 1994 página 1096-1104

THE JOURNAL OF SYMBOLIC LOGIC. VOL 59. Number 4. 1994.


Carl G. Jockusch, Jr. and Robert I. Soare. “Boolean algebras, Stone spaces, and the iterated Turing jump” The journal of symbolic logic. Vol. 59. Number 4, 1994 página 1121-1138


Sergei Artёmov and Franco Montagna. “On first-order theories with provability operator” The journal of symbolic logic. Vol. 59. Number 4, 1994 página 1139-1153


L. Gordeev. “A modified sentence unprovable in PA” The journal of symbolic logic. Vol. 59. Number 4, 1994 página 1154-1157


George Kafkoulis. “The consistency strength of an infinitary Ramsey property” The journal of symbolic logic. Vol. 59. Number 4, 1994 página 1158-1195


James Cummings. “Possible behaviours for the Mitchell ordering II.” The journal of symbolic logic. Vol. 59. Number 4, 1994 página 1196-1209


Zlatan Damnjanovic. “Strictly primitive recursive realizability, I.” The journal of symbolic logic. Vol. 59. Number 4, 1994 página 1210-1227


Gaisi Takeuti. “The critical number of a variable in a function” The journal of symbolic logic. Vol. 59. Number 4, 1994 página 1228-1244


N. Prati. “A partial model of NF with E” The journal of symbolic logic. Vol. 59. Number 4, 1994 página 1245-1253


Ross Willard. “Hereditary undecidability of some theories of finite structures” The journal of symbolic logic. Vol. 59. Number 4, 1994 página 1254-1262


Mitio Takano. “Subformula property in many-valued modal logics” The journal of symbolic logic. Vol. 59. Number 4, 1994 página 1263-1273


Gaisi Takeuti. “Grzegorcyk’s hierarchy and IepΣ1” The journal of symbolic logic. Vol. 59. Number 4, 1994 página 1274-1284


Ambar Chowdhury and Anand- Pillay. “On the number of models of uncountable theories” The journal of symbolic logic. Vol. 59. Number 4, 1994 página 1285-1300


Tamara Lakins Hummel. “Effective versions of Ramsey’s Theorem: Avoiding the cone above



Download 0.92 Mb.
Page2/4
Date conversion25.10.2013
Size0.92 Mb.
TypeДокументы
1   2   3   4
Place this button on your site:
end.exdat.com


The database is protected by copyright ©exdat 2000-2012
При копировании материала укажите ссылку
send message
Documents