An infinite injury method of the unbounded type



Descargar 0.61 Mb.
Página5/7
Fecha de conversión30.06.2017
Tamaño0.61 Mb.
1   2   3   4   5   6   7
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
1   2   3   4   5   6   7


La base de datos está protegida por derechos de autor ©bazica.org 2016
enviar mensaje

    Página principal