Notre Dame Journal of Formal Logic (Project Euclid)

Notre Dame Journal of Formal Logic, Volume 49, Number 2 (2008)

Mon, 23 Jun 2008 11:28 EDT

Contents:

Frank Stephan, Jason Teutsch. Immunity and Hyperimmunity for Sets of Minimal Indices. 107--125.

Stephen G. Simpson. Mass Problems and Intuitionism. 127--136.

Rohan French. A Note on the Logic of Eventual Permanence for Linear Time. 137--142.

Mihai Prunescu. An Undecidable Property of Recurrent Double Sequences. 143--151.

Alexander Paseau. Fitch's Argument and Typing Knowledge. 153--176.

Sakae Yaegasi. Tennenbaum's Theorem and Unary Functions. 177--183.

J. Climent Vidal, J. Soliveres Tur. Functors of Lindenbaum-Tarski, Schematic Interpretations, and Adjoint Cylinders between Sentential Logics. 185--202.

Giangiacomo Gerla. Approximate Similarities and Poincaré Paradox. 203--226.

Notre Dame Journal of Formal Logic, Volume 49, Number 3 (2008)

Wed, 16 Jul 2008 16:57 EDT

Contents:

Christopher P. Alfeld. Classifying the Branching Degrees in the Medvedev Lattice of $\Pi^0_1$ Classes. 227--243.

John Cantwell. The Logic of Conditional Negation. 245--260.

Boudewijn de Bruin. Common Knowledge of Rationality in Extensive Games. 261--280.

Ben Ellison, Jonathan Fleischmann, Dan McGinn, Wim Ruitenburg. Quantifier Elimination for a Class of Intuitionistic Theories. 281--293.

Tomasz Kowalski. Self-implications in BCI. 295--305.

Paolo Lipparini. Decomposable Ultrafilters and Possible Cofinalities. 307--312.

Graham White. Causality, Modality, and Explanation. 313--343.

Notre Dame Journal of Formal Logic, Volume 49, Number 4 (2008)

Fri, 17 Oct 2008 11:32 EDT

Contents:

Erez Shochat. Automorphisms of Countable Short Recursively Saturated Models of PA. 345--360.

Jaime Bohórquez V.. Intuitionistic Logic according to Dijkstra's Calculus of Equational Deduction. 361--384.

Christopher Steinsvold. A Note on Logics of Ignorance and Borders. 385--392.

Akito Tsuboi. Models Omitting Given Complete Types. 393--399.

Zoran Majkić. Weakening of Intuitionistic Negation for Many-valued Paraconsistent da Costa System. 401--424.

Victor Pambuccian. The Sum of Irreducible Fractions with Consecutive Denominators Is Never an Integer in PA -. 425--429.

Philipp Gerhardy. Proof Mining in Topological Dynamics.

W. D. Hart. Book Review: The Taming of the True, by Neil Tennant.

Notre Dame Journal of Formal Logic, Volume 50, Number 1 (2009)

Mon, 19 Jan 2009 09:26 EST

Contents:

John D. Clemens. Isomorphism of Homogeneous Structures. 1--22.

Katalin Bimbó. Dual Gaggle Semantics for Entailment. 23--41.

Philip Scowcroft. Generalized Halfspaces in the Mixed-Integer Realm. 43--51.

Jaime Gaspar. Factorization of the Shoenfield-like Bounded Functional Interpretation. 53--60.

Albert Visser. Growing Commas. A Study of Sequentiality and Concatenation. 61--85.

Vítězslav Švejdar. On Interpretability in the Theory of Concatenation. 87--95.

Gila Sher. Book Review: Jody Azzouni. Tracking Reason: Proof, Consequence, and Truth .. 97--117.

Notre Dame Journal of Formal Logic, Volume 50, Number 2 (2009)

Mon, 11 May 2009 14:48 EDT

Contents:

Lloyd Humberstone. Collapsing Modalities. 119--132.

James M. Dickey, Morris L. Eaton, William D. Sudderth. De Finetti Coherence and Logical Consistency. 133--139.

Richard Pettigrew. On Interpretations of Bounded Arithmetic and Bounded Set Theory. 141--151.

Petr Cintula, George Metcalfe. Structural Completeness in Fuzzy Logics. 153--182.

David Atkinson, Jeanne Peijnenburg. Justification by an Infinity of Conditional Probabilities. 183--193.

Brooke M. Andersen, Marcia J. Groszek. Grigorieff Forcing on Uncountable Cardinals Does Not Add a Generic of Minimal Degree. 195--200.

Ulrich Meyer. Times in Tense Logic. 201--219.

Leon Horsten. Book Review: Stewart Shapiro. Vagueness in Context. 221--226.

Notre Dame Journal of Formal Logic, Volume 50, Number 3 (2009)

Tue, 10 Nov 2009 09:08 EST

Contents:

Laurence Kirby . Finitary Set Theory . 227--244.

Victor Pambuccian. A Reverse Analysis of the Sylvester-Gallai Theorem. 245--260.

M. W. Bunder, R. M. Rizkalla. Proof-finding Algorithms for Classical and Subclassical Propositional Logics. 261--273.

Steffen Lewitzka. $\in_I$ : An Intuitionistic Logic without Fregean Axiom and with Predicates for Truth and Falsity. 275--301.

Frank Markham Brown. George Boole's Deductive System. 303--330.

Claudio Bernardi. A Topological Approach to Yablo's Paradox. 331--338.

Robert Hanna. Book Review: Logic, Mathematics, and the Mind: A Critical Study of Richard Tieszen's Phenomenology, Logic, and the Philosophy of Mathematics. 339--361.

Notre Dame Journal of Formal Logic, Volume 50, Number 4 (2009)

Thu, 11 Feb 2010 09:39 EST

Contents:

Michael Detlefsen . Introduction to the Fiftieth Anniversary Issues. 363 -- 364 .

Martin Koerwien . Comparing Borel Reducibility and Depth of an ω-Stable Theory. 365--380.

Joseph S. Miller . The K -Degrees, Low for K Degrees,and Weakly Low for K Sets. 381--391.

Guido Gherardi , Alberto Marcone . How Incomputable Is the Separable Hahn-Banach Theorem?. 393 -- 425 .

Alexander Kreuzer , Ulrich Kohlenbach . Ramsey's Theorem for Pairs and Provably Recursive Functions. 427--444.

Bjørn Kjos-Hanssen , Andrée Nies . Superhighness. 445--452.

Taras Banakh , Nadya Lyaskovska , Dušan Repovš . Packing Index of Subsets in Polish Groups. 453--468.

Keng Meng Ng . On the Degrees of Diagonal Sets and the Failure of the Analogue of a Theorem of Martin. 469--493.

Notre Dame Journal of Formal Logic, Volume 51, Number 1 (2010)

Tue, 04 May 2010 15:42 EDT

Contents:

Michael Detlefsen. Introduction to the Fiftieth Anniversary Issues. 1--2.

Solomon Feferman. Set-theoretical Invariance Criteria for Logicality. 3--20.

Hannes Leitgeb. On the Ramsey Test without Triviality. 21--54.

Asher M. Kach, Oscar Levin, Reed Solomon. Embeddings of Computable Structures. 55--68.

Graham Priest. Inclosures, Vagueness, and Self-Reference. 69--84.

Rodney G. Downey, Sergei S. Goncharov, Asher M. Kach, Julia F. Knight, Oleg V. Kudinov, Alexander G. Melnikov, Daniel Turetsky. Decidability and Computability of Certain Torsion-Free Abelian Groups. 85--96.

Kit Fine. Some Puzzles of Ground. 97--118.

John P. Burgess. Axiomatizing the Logic of Comparative Probability. 119--126.

David E. Diamondstone, Damir D. Dzhafarov, Robert I. Soare. $\Pi^0_1$ Classes, Peano Arithmetic, Randomness, and Computable Domination. 127--159.

Notre Dame Journal of Formal Logic, Volume 51, Number 2 (2010)

Fri, 11 Jun 2010 15:33 EDT

Contents:

G. Aldo Antonelli. Numerical Abstraction via the Frege Quantifier. 161--179.

George Leibman. The Consistency Strength of $\mathrm{MP_{CCC}}(\mathbb{R})$ . 181--193.

George Barmpalias. Relative Randomness and Cardinality. 195--205.

Sven Ove Hansson. Past Probabilities. 207--223.

Jonathan Fleischmann. Syntactic Preservation Theorems for Intuitionistic Predicate Logic. 225--245.

Simon Andrews. Definable Open Sets As Finite Unions of Definable Open Cells. 247--251.

Bryan Pickel. Syntax in Basic Laws §§29–32. 253--277.

Rod Downey, Keng Meng Ng. Effective Packing Dimension and Traceability. 279--290.

Notre Dame Journal of Formal Logic, Volume 51, Number 3 (2010)

Wed, 18 Aug 2010 09:27 EDT

Contents:

Joel David Hamkins, Thomas A. Johnstone. Indestructible Strong Unfoldability. 291--321.

Richard Dietz. On Generalizing Kolmogorov. 323--335.

Kenshi Miyabe. An Extension of van Lambalgen's Theorem to Infinitely Many Relative 1-Random Reals. 337--349.

Alexander Paseau. Pure Second-Order Logic with Second-Order Identity. 351--360.

Gregory M. Johnson. Abstract Elementary Classes with Löwenheim-Skolem Number Cofinal with ω. 361--371.

Ori Simchen. Polyadic Quantification via Denoting Concepts. 373--381.

Cristina Coppola, Giangiacomo Gerla, Annamaria Miranda. Point-free Foundation of Geometry and Multivalued Logic. 383--405.

Notre Dame Journal of Formal Logic, Volume 51, Number 4 (2010)

Wed, 29 Sep 2010 09:10 EDT

Contents:

David Atkinson, Jeanne Peijnenburg. Justification by Infinite Loops. 407--416.

Johanna N. Y. Franklin. Subclasses of the Weakly Random Reals. 417--426.

Daniel W. Cunningham. A Covering Lemma for HOD of K (ℝ). 427--442.

Mingzhong Cai. A Hyperimmune Minimal Degree and an ANR 2-Minimal Degree. 443--455.

Morten H. Sørensen, Paweł Urzyczyn. A Syntactic Embedding of Predicate Logic into Second-Order Propositional Logic. 457--473.

Victoria Gitman, Joel David Hamkins. A Natural Model of the Multiverse Axioms. 475--484.

Alex Citkin. Metalogic of Intuitionistic Propositional Calculus. 485--502.

Hitoshi Omori, Toshiharu Waragai. A Note on Majkić's Systems. 503--506.

Notre Dame Journal of Formal Logic, Volume 52, Number 1 (2011)

Mon, 13 Dec 2010 09:14 EST

Contents:

Thomas Forster, Thierry Libert. An Order-Theoretic Account of Some Set-Theoretic Paradoxes. 1--19.

Paul Shafer. Characterizing the Join-Irreducible Medvedev Degrees. 21--38.

Tapani Hyttinen, Meeri Kesälä. Lascar Types and Lascar Automorphisms in Abstract Elementary Classes. 39--54.

Juha Kontinen, Jouko Väänänen. A Remark on Negation in Dependence Logic. 55--65.

G. O. Jones, D. J. Miller, M. E. M. Thomas. Mildness and the Density of Rational Points on Certain Transcendental Curves. 67--74.

Eli Dresner. Logical Consequence and First-Order Soundness and Completeness: A Bottom Up Approach. 75--93.

Damir D. Dzhafarov. Stable Ramsey's Theorem and Measure. 95--112.

Notre Dame Journal of Formal Logic, Volume 52, Number 2 (2011)

Thu, 28 Apr 2011 09:02 EDT

Contents:

Andrzej Rosłanowski, Saharon Shelah. Reasonable Ultrafilters, Again. 113--147.

Jeffry L. Hirst, Carl Mummert. Reverse Mathematics and Uniformity in Proofs without Excluded Middle. 149--162.

Rodney G. Downey, Asher M. Kach. Euclidean Functions of Computable Euclidean Domains. 163--172.

Johanna N.Y. Franklin, Frank Stephan. Van Lambalgen's Theorem and High Degrees. 173--185.

Guram Bezhanishvili, Silvio Ghilardi, Mamuka Jibladze. An Algebraic Approach to Subframe Logics. Modal Case. 187--202.

Samuel Coskey, Joel David Hamkins. Infinite Time Decidable Equivalence Relation Theory. 203--228.

Notre Dame Journal of Formal Logic, Volume 52, Number 3 (2011)

Thu, 28 Jul 2011 13:57 EDT

Contents:

Stephen G. Simpson, Keita Yokoyama. A Nonstandard Counterpart of WWKL. 229--243.

Christopher Steinsvold. Being Wrong: Logics for False Belief. 245--253.

Ali Bleybel. The Field of LE-Series with a Nonstandard Analytic Structure. 255--265.

Alfred Dolich, John Goodrick, David Lippel. Dp-Minimality: Basic Facts and Examples. 267--288.

Michael Moses. The Block Relation in Computable Linear Orders. 289--305.

Shimon Garti, Saharon Shelah. Depth of Boolean Algebras. 307--314.

Ermek S. Nurkhaidarov, Erez Shochat. Automorphisms of Saturated and Boundedly Saturated Models of Arithmetic. 315--329.

Øystein Linnebo. Some Criteria for Acceptable Abstraction. 331--338.

Notre Dame Journal of Formal Logic, Volume 52, Number 4 (2011)

Fri, 04 Nov 2011 13:28 EDT

Contents:

Tommaso Cortonesi, Enrico Marchioni, Franco Montagna. Quantifier Elimination and Other Model-Theoretic Properties of BL-Algebras. 339--379.

Heike Mildenberger. On Milliken-Taylor Ultrafilters. 381--394.

Sy-David Friedman, Martin Koerwien. On Absoluteness of Categoricity in Abstract Elementary Classes. 395--402.

Ronald F. Bustamante Medina. Rank and Dimension in Difference-Differential Fields. 403--414.

Joël Combase. A Silver-like Perfect Set Theorem with an Application to Borel Model Theory. 415--429.

Jaap van Oosten. Partial Combinatory Algebras of Functions. 431--448.

Notre Dame Journal of Formal Logic, Volume 53, Number 1 (2012)

Wed, 09 May 2012 13:58 EDT

Contents:

James H. Schmerl. Elementary Cuts in Saturated Models of Peano Arithmetic. 1--13.

David Atkinson, Jeanne Peijnenburg. Fractal Patterns in Reasoning. 15--26.

Nathaniel Miller. On the Inconsistency of Mumma's Eu. 27--52.

Henry Towsner. A Simple Proof and Some Difficult Examples for Hindman's Theorem. 53--65.

Hassan Sfouli. On the Elementary Theory of Restricted Real and Imaginary Parts of Holomorphic Functions. 67--77.

O. Petrenko, I. V. Protasov. Thin Ultrafilters. 79--88.

Mark Ressler. Thoroughly Relativistic Perspectives. 89--112.

Thomas Macaulay Ferguson. Notes on the Model Theory of DeMorgan Logics. 113--132.

Notre Dame Journal of Formal Logic, Volume 53, Number 2 (2012)

Wed, 09 May 2012 14:31 EDT

Contents:

Thomas F. Icard, Joost J. Joosten. Provability and Interpretability Logics with Restricted Realizations. 133--154.

Gunter Fuchs, Philipp Lücke. Iteratively Changing the Heights of Automorphism Towers. 155--174.

Michael A. Tychonievich. The Set of Restricted Complex Exponents for Expansions of the Reals. 175--186.

G. Aldo Antonelli. A Note on Induction, Abstraction, and Dedekind-Finiteness. 187--192.

Isaac Goldbring. Definable Operators on Hilbert Spaces. 193--201.

Yoshihiro Horihata. Weak Theories of Concatenation and Arithmetic. 203--222.

Gemma Robles, José M. Méndez. A General Characterization of the Variable-Sharing Property by Means of Logical Matrices. 223--244.

Alexander P. Kreuzer. Primitive Recursion and the Chain Antichain Principle. 245--265.