An infinite injury method of the unbounded type



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