default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDNotre Dame Journal of Formal Logic, Volume 46
Volume 46, Number 1, 2005
- Aldo Antonelli, Robert May:
Frege's Other Program. 1-17 - José Iovino:
Definable Types Over Banach Spaces. 19-50 - Verónica Becher
, Santiago Figueira, André Nies, Silvana Picchi:
Program Size Complexity for Possibly Infinite Computations. 51-64 - Rosalie Iemhoff:
Intermediate Logics and Visser's Rules. 65-81 - Fernando Ferreira:
A Simple Proof of Parsons' Theorem. 83-91 - Stephen Pollard:
The Expressive Unary Truth Functions of n-valued Logic. 93-105 - O. Bradley Bassler:
Book Review: J. P. Mayberry. Foundations of Mathematics in the Theory of Sets. 107-125
Volume 46, Number 2, 2005
- Joost J. Joosten:
The Closed Fragment of the Interpretability Logic of PRA with a Constant for. 127-146 - Eric Rosen:
On the First-Order Prefix Hierarchy. 147-164 - Philipp Gerhardy:
The Role of Quantifier Alternations in Cut Elimination. 165-171 - Merrie Bergmann:
Finite Tree Property for First-Order Logic with Identity and Functions. 173-180 - Martin W. Bunder, W. J. M. Dekkers:
Equivalences between Pure Type Systems and Systems of Illative Combinatory Logic. 181-205 - Patrizio Cintioli:
Sets without Subsets of Higher Many-One Degree. 207-216 - Raymond E. Jennings, Kam Sing Leung:
A Deontic Counterpart of Lewis's S1. 217-230 - N. Raja:
A Negation-free Proof of Cantor's Theorem. 231-233 - Julian C. Cole:
Book Review: Jody Azzouni. Deflating Existential Consequence: A Case for Nominalism. 235-247
Volume 46, Number 3, 2005
- Matthew Foreman:
Introduction to the Special Issue on Singular Cardinals Combinatorics. 249 - James Cummings:
Notes on Singular Cardinal Combinatorics. 251-282 - Mirna Dzamonja:
Club Guessing and the Universal Models. 283-300 - Todd Eisworth:
On Ideals Related to I[λ]. 301-307 - Matthew Foreman:
Some Problems in Singular Cardinals Combinatorics. 309-322 - Moti Gitik:
Around Silver's Theorem. 323-325 - Tetsuya Ishiu:
A Tail Club Guessing Ideal Can Be Saturated without Being a Restriction of the Nonstationary Ideal. 327-333 - Jean A. Larson:
Ramsey Theory for Countable Binary Homogeneous Structures. 335-352 - Juan Carlos Martínez:
Some Open Questions for Superatomic Boolean Algebras. 353-356 - William J. Mitchell:
Adding Closed Unbounded Subsets of ω2 with Finite Forcing. 357-371 - Ernest Schimmerling:
A Question about Suslin Trees and the Weak Square Hierarchy. 373-374 - Philip D. Welch:
Some Open Problems in Mutual Stationarity Involving Inner Model Theory: A Commentary. 375-379
Volume 46, Number 4, 2005
- Yannis Stephanou:
First-Order Modal Logic with an 'Actually' Operator. 381-405 - Saeed Salehi:
Polynomially Bounded Recursive Realizability. 407-417 - Aleksander Ivanov:
Automorphisms of Homogeneous Structures. 419-424 - Mauro Gattari:
Finite and Physical Modalities. 425-437 - George Voutsadakis:
Categorical Abstract Algebraic Logic: Models of π-Institutions. 439-460 - Katalin Bimbó, J. Michael Dunn:
Relational Semantics for Kleene Logic and Action Logic. 461-490 - Anand Pillay, Evgueni Vassiliev:
On Lovely Pairs and the (∃ y ∈ P) Quantifier. 491-501 - Richard Zach:
Book Review: Michael Potter. Reason's Nearest Kin. Philosophies of Arithmetic from Kant to Carnap. 503-513
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.
last updated on 2024-10-18 19:18 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
