:facetid:toc:\"db/journals/ndjfl/ndjfl26.bht\"OK:facetid:toc:db/journals/ndjfl/ndjfl26.bhtJohn T. Baldwin 0001Saharon ShelahSecond-order quantifiers and the complexity of theories.Notre Dame J. Formal Log.263229-3031985Journal Articlesclosedjournals/ndjfl/BaldwinS8510.1305/NDJFL/1093870870https://doi.org/10.1305/ndjfl/1093870870https://dblp.org/rec/journals/ndjfl/BaldwinS85URL#7041962David BallardIndependence in higher-order subclassical logic.Notre Dame J. Formal Log.264444-4541985Journal Articlesclosedjournals/ndjfl/Ballard8510.1305/NDJFL/1093870936https://doi.org/10.1305/ndjfl/1093870936https://dblp.org/rec/journals/ndjfl/Ballard85URL#7041963Audoënus Le BlancAxioms for mereology.Notre Dame J. Formal Log.264429-4361985Journal Articlesclosedjournals/ndjfl/Blanc8510.1305/NDJFL/1093870934https://doi.org/10.1305/ndjfl/1093870934https://dblp.org/rec/journals/ndjfl/Blanc85URL#7041964Audoënus Le BlancNew axioms for mereology.Notre Dame J. Formal Log.264437-4431985Journal Articlesclosedjournals/ndjfl/Blanc85a10.1305/NDJFL/1093870935https://doi.org/10.1305/ndjfl/1093870935https://dblp.org/rec/journals/ndjfl/Blanc85aURL#7041965Audoënus Le BlancInvestigations in protothetic.Notre Dame J. Formal Log.264483-4891985Journal Articlesclosedjournals/ndjfl/Blanc85b10.1305/NDJFL/1093870940https://doi.org/10.1305/ndjfl/1093870940https://dblp.org/rec/journals/ndjfl/Blanc85bURL#7041966George Boolos1-consistency and the diamond.Notre Dame J. Formal Log.264341-3471985Journal Articlesclosedjournals/ndjfl/Boolos8510.1305/NDJFL/1093870927https://doi.org/10.1305/ndjfl/1093870927https://dblp.org/rec/journals/ndjfl/Boolos85URL#7041967John P. BurgessFrom preference to utility: a problem of descriptive set theory.Notre Dame J. Formal Log.262106-1141985Journal Articlesclosedjournals/ndjfl/Burgess8510.1305/NDJFL/1093870819https://doi.org/10.1305/ndjfl/1093870819https://dblp.org/rec/journals/ndjfl/Burgess85URL#7041968John P. BurgessYuri GurevichThe decision problem for linear temporal logic.Notre Dame J. Formal Log.262115-1281985Journal Articlesclosedjournals/ndjfl/BurgessG8510.1305/NDJFL/1093870820https://doi.org/10.1305/ndjfl/1093870820https://dblp.org/rec/journals/ndjfl/BurgessG85URL#7041969Bowman L. ClarkeIndividuals and points.Notre Dame J. Formal Log.26161-751985Journal Articlesclosedjournals/ndjfl/Clark8510.1305/NDJFL/1093870761https://doi.org/10.1305/ndjfl/1093870761https://dblp.org/rec/journals/ndjfl/Clark85URL#7041970Nino B. CocchiarellaTwo λ-extensions of the theory of homogeneous simple types as a second-order logic.Notre Dame J. Formal Log.264377-4071985Journal Articlesclosedjournals/ndjfl/Cocchiarella8510.1305/NDJFL/1093870930https://doi.org/10.1305/ndjfl/1093870930https://dblp.org/rec/journals/ndjfl/Cocchiarella85URL#7041971László CsirmazA completeness theorem for dynamic logic.Notre Dame J. Formal Log.26151-601985Journal Articlesclosedjournals/ndjfl/Csirmaz8510.1305/NDJFL/1093870760https://doi.org/10.1305/ndjfl/1093870760https://dblp.org/rec/journals/ndjfl/Csirmaz85URL#7041972Harry DeutschRelevance and conformity.Notre Dame J. Formal Log.264455-4621985Journal Articlesclosedjournals/ndjfl/Deutsch8510.1305/NDJFL/1093870937https://doi.org/10.1305/ndjfl/1093870937https://dblp.org/rec/journals/ndjfl/Deutsch85URL#7041973Kosta DosenAn intuitionistic Sheffer function.Notre Dame J. Formal Log.264479-4821985Journal Articlesclosedjournals/ndjfl/Dosen8510.1305/NDJFL/1093870939https://doi.org/10.1305/ndjfl/1093870939https://dblp.org/rec/journals/ndjfl/Dosen85URL#7041974William H. HansonJames HawthorneValidity in intensional languages: a new approach.Notre Dame J. Formal Log.2619-351985Journal Articlesclosedjournals/ndjfl/HansonH8510.1305/NDJFL/1093870758https://doi.org/10.1305/ndjfl/1093870758https://dblp.org/rec/journals/ndjfl/HansonH85URL#7041975Leo HarringtonMichael MakkaiAn exposition of Shelah's "main gap": counting uncountable models of ω-stable and superstable theories.Notre Dame J. Formal Log.262139-1771985Journal Articlesclosedjournals/ndjfl/HarringtonM8510.1305/NDJFL/1093870822https://doi.org/10.1305/ndjfl/1093870822https://dblp.org/rec/journals/ndjfl/HarringtonM85URL#7041976Leo HarringtonSaharon ShelahSome exact equiconsistency results in set theory.Notre Dame J. Formal Log.262178-1881985Journal Articlesclosedjournals/ndjfl/HarringtonS8510.1305/NDJFL/1093870823https://doi.org/10.1305/ndjfl/1093870823https://dblp.org/rec/journals/ndjfl/HarringtonS85URL#7041977John JonesThe rule of procedure Re in Łukasiewicz's many-valued propositional calculi.Notre Dame J. Formal Log.264423-4281985Journal Articlesclosedjournals/ndjfl/Jones8510.1305/NDJFL/1093870933https://doi.org/10.1305/ndjfl/1093870933https://dblp.org/rec/journals/ndjfl/Jones85URL#7041978Matt KaufmannA note on the Hanf number of second-order logic.Notre Dame J. Formal Log.264305-3081985Journal Articlesclosedjournals/ndjfl/Kaufmann8510.1305/NDJFL/1093870925https://doi.org/10.1305/ndjfl/1093870925https://dblp.org/rec/journals/ndjfl/Kaufmann85URL#7041979Roman KossakA note on satisfaction classes.Notre Dame J. Formal Log.2611-81985Journal Articlesclosedjournals/ndjfl/Kossak8510.1305/NDJFL/1093870757https://doi.org/10.1305/ndjfl/1093870757https://dblp.org/rec/journals/ndjfl/Kossak85URL#7041980Roman KossakRecursively saturated ω1-like models of arithmetic.Notre Dame J. Formal Log.264413-4221985Journal Articlesclosedjournals/ndjfl/Kossak85a10.1305/NDJFL/1093870932https://doi.org/10.1305/ndjfl/1093870932https://dblp.org/rec/journals/ndjfl/Kossak85aURL#7041981Evangelos KranakisDefinable partitions and reflection properties for regular cardinals.Notre Dame J. Formal Log.264408-4121985Journal Articlesclosedjournals/ndjfl/Kranakis8510.1305/NDJFL/1093870931https://doi.org/10.1305/ndjfl/1093870931https://dblp.org/rec/journals/ndjfl/Kranakis85URL#7041982Isabel LoureiroPrincipal congruences of tetravalent modal algebras.Notre Dame J. Formal Log.26176-801985Journal Articlesclosedjournals/ndjfl/Loureiro8510.1305/NDJFL/1093870762https://doi.org/10.1305/ndjfl/1093870762https://dblp.org/rec/journals/ndjfl/Loureiro85URL#7041983Alan H. MeklerSaharon ShelahStationary logic and its friends. I.Notre Dame J. Formal Log.262129-1381985Journal Articlesclosedjournals/ndjfl/MeklerS8510.1305/NDJFL/1093870821https://doi.org/10.1305/ndjfl/1093870821https://dblp.org/rec/journals/ndjfl/MeklerS85URL#7041984Philip L. PetersonHigher quantity syllogisms.Notre Dame J. Formal Log.264348-3601985Journal Articlesclosedjournals/ndjfl/Peterson8510.1305/NDJFL/1093870928https://doi.org/10.1305/ndjfl/1093870928https://dblp.org/rec/journals/ndjfl/Peterson85URL#7041985Anand PillaySaharon ShelahClassification theory over a predicate. I.Notre Dame J. Formal Log.264361-3761985Journal Articlesclosedjournals/ndjfl/PillayS8510.1305/NDJFL/1093870929https://doi.org/10.1305/ndjfl/1093870929https://dblp.org/rec/journals/ndjfl/PillayS85URL#7041986Garrel PottingerIntension, designation, and extension.Notre Dame J. Formal Log.264309-3401985Journal Articlesclosedjournals/ndjfl/Pottinger8510.1305/NDJFL/1093870926https://doi.org/10.1305/ndjfl/1093870926https://dblp.org/rec/journals/ndjfl/Pottinger85URL#7041987James H. SchmerlRecursively saturated models generated by indiscernibles.Notre Dame J. Formal Log.26299-1051985Journal Articlesclosedjournals/ndjfl/Schmerl8510.1305/NDJFL/1093870818https://doi.org/10.1305/ndjfl/1093870818https://dblp.org/rec/journals/ndjfl/Schmerl85URL#7041988Saharon ShelahOn the possible number no(M)= the number of nonisomorphic models LINFINITY, λ-equivalent to M of power λ, for λ singular.Notre Dame J. Formal Log.26136-501985Journal Articlesclosedjournals/ndjfl/Shelah8510.1305/NDJFL/1093870759https://doi.org/10.1305/ndjfl/1093870759https://dblp.org/rec/journals/ndjfl/Shelah85URL#7041989Saharon ShelahIncompactness in regular cardinals.Notre Dame J. Formal Log.263195-2281985Journal Articlesclosedjournals/ndjfl/Shelah85a10.1305/NDJFL/1093870869https://doi.org/10.1305/ndjfl/1093870869https://dblp.org/rec/journals/ndjfl/Shelah85aURL#7041990Paul S. StraussNumber-theoretic set theories.Notre Dame J. Formal Log.26181-951985Journal Articlesclosedjournals/ndjfl/Strauss8510.1305/NDJFL/1093870763https://doi.org/10.1305/ndjfl/1093870763https://dblp.org/rec/journals/ndjfl/Strauss85URL#7041991