Stop the war!
Остановите войну!
for scientists:
default search action
Notre Dame Journal of Formal Logic, Volume 26
Volume 26, Number 1, January 1985
- Roman Kossak:
A note on satisfaction classes. 1-8 - William H. Hanson, James Hawthorne:
Validity in intensional languages: a new approach. 9-35 - Saharon Shelah:
On the possible number no(M)= the number of nonisomorphic models LINFINITY, λ-equivalent to M of power λ, for λ singular. 36-50 - László Csirmaz:
A completeness theorem for dynamic logic. 51-60 - Bowman L. Clarke:
Individuals and points. 61-75 - Isabel Loureiro:
Principal congruences of tetravalent modal algebras. 76-80 - Paul S. Strauss:
Number-theoretic set theories. 81-95
Volume 26, Number 2, April 1985
- James H. Schmerl:
Recursively saturated models generated by indiscernibles. 99-105 - John P. Burgess:
From preference to utility: a problem of descriptive set theory. 106-114 - John P. Burgess, Yuri Gurevich:
The decision problem for linear temporal logic. 115-128 - Alan H. Mekler, Saharon Shelah:
Stationary logic and its friends. I. 129-138 - Leo Harrington, Michael Makkai:
An exposition of Shelah's "main gap": counting uncountable models of ω-stable and superstable theories. 139-177 - Leo Harrington, Saharon Shelah:
Some exact equiconsistency results in set theory. 178-188
Volume 26, Number 3, July 1985
- Saharon Shelah:
Incompactness in regular cardinals. 195-228 - John T. Baldwin, Saharon Shelah:
Second-order quantifiers and the complexity of theories. 229-303
Volume 26, Number 4, October 1985
- Matt Kaufmann:
A note on the Hanf number of second-order logic. 305-308 - Garrel Pottinger:
Intension, designation, and extension. 309-340 - George Boolos:
1-consistency and the diamond. 341-347 - Philip L. Peterson:
Higher quantity syllogisms. 348-360 - Anand Pillay, Saharon Shelah:
Classification theory over a predicate. I. 361-376 - Nino B. Cocchiarella:
Two λ-extensions of the theory of homogeneous simple types as a second-order logic. 377-407 - Evangelos Kranakis:
Definable partitions and reflection properties for regular cardinals. 408-412 - Roman Kossak:
Recursively saturated ω1-like models of arithmetic. 413-422 - John Jones:
The rule of procedure Re in Łukasiewicz's many-valued propositional calculi. 423-428 - Audoënus Le Blanc:
Axioms for mereology. 429-436 - Audoënus Le Blanc:
New axioms for mereology. 437-443 - David Ballard:
Independence in higher-order subclassical logic. 444-454 - Harry Deutsch:
Relevance and conformity. 455-462 - Raymond Turner:
Nominalization and Scott's domains. II. 463-478 - Kosta Dosen:
An intuitionistic Sheffer function. 479-482 - Audoënus Le Blanc:
Investigations in protothetic. 483-489
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.