- Safe recursive set functions.Arnold Beckmann, Samuel R. Buss & Sy-David Friedman - 2015 - Journal of Symbolic Logic 80 (3):730-762.details
|
|
Set forcing and strong condensation for H.Liuzhen Wu - 2015 - Journal of Symbolic Logic 80 (1):56-84.details
|
|
Minimal upper bounds for ascending sequences of α-recursively enumerable degrees.C. T. Chong - 1976 - Journal of Symbolic Logic 41 (1):250-260.details
|
|
On σ1 well-orderings of the universe.Leo Harrington & Thomas Jech - 1976 - Journal of Symbolic Logic 41 (1):167-170.details
|
|
Dominical categories: recursion theory without elements.Robert A. di Paola & Alex Heller - 1987 - Journal of Symbolic Logic 52 (3):594-635.details
|
|
Higher Souslin trees and the generalized continuum hypothesis.John Gregory - 1976 - Journal of Symbolic Logic 41 (3):663-671.details
|
|
$K$ without the measurable.Ronald Jensen & John Steel - 2013 - Journal of Symbolic Logic 78 (3):708-734.details
|
|
Woodin's axiom , bounded forcing axioms, and precipitous ideals on ω 1.Benjamin Claverie & Ralf Schindler - 2012 - Journal of Symbolic Logic 77 (2):475-498.details
|
|
European meeting of the Association for Symbolic Logic, Wroclaw 1977.Leszek Pacholski - 1979 - Journal of Symbolic Logic 44 (3):441-468.details
|
|
Compactness and transfer for a fragment of L 2.M. Magidor & J. Malitz - 1977 - Journal of Symbolic Logic 42 (2):261-268.details
|
|
Nonstandard models in recursion theory and reverse mathematics.C. T. Chong, Wei Li & Yue Yang - 2014 - Bulletin of Symbolic Logic 20 (2):170-200.details
|
|
1999 European Summer Meeting of the Association for Symbolic Logic.Wilfrid Hodges - 2000 - Bulletin of Symbolic Logic 6 (1):103-137.details
|
|
Square and Delta reflection.Laura Fontanella & Yair Hayut - 2016 - Annals of Pure and Applied Logic 167 (8):663-683.details
|
|
Predicativity, the Russell-Myhill Paradox, and Church’s Intensional Logic.Sean Walsh - 2016 - Journal of Philosophical Logic 45 (3):277-326.details
|
|
Cobham recursive set functions.Arnold Beckmann, Sam Buss, Sy-David Friedman, Moritz Müller & Neil Thapen - 2016 - Annals of Pure and Applied Logic 167 (3):335-369.details
|
|
Plus‐1 Results for E‐Recursion.M. R. R. Hoole - 1986 - Mathematical Logic Quarterly 32 (25-30):473-479.details
|
|
Collapsing the cardinals of HOD.James Cummings, Sy David Friedman & Mohammad Golshani - 2015 - Journal of Mathematical Logic 15 (2):1550007.details
|
|
First-order modal logic in the necessary framework of objects.Peter Fritz - 2016 - Canadian Journal of Philosophy 46 (4-5):584-609.details
|
|
Fragility and indestructibility II.Spencer Unger - 2015 - Annals of Pure and Applied Logic 166 (11):1110-1122.details
|
|
A model of Cummings and Foreman revisited.Spencer Unger - 2014 - Annals of Pure and Applied Logic 165 (12):1813-1831.details
|
|
Fragments of frege’s grundgesetze and gödel’s constructible universe.Sean Walsh - 2016 - Journal of Symbolic Logic 81 (2):605-628.details
|
|
Rudimentary Recursion, Gentle Functions and Provident Sets.A. R. D. Mathias & N. J. Bowler - 2015 - Notre Dame Journal of Formal Logic 56 (1):3-60.details
|
|
Predicatively computable functions on sets.Toshiyasu Arai - 2015 - Archive for Mathematical Logic 54 (3-4):471-485.details
|
|
Two-cardinal diamond and games of uncountable length.Pierre Matet - 2015 - Archive for Mathematical Logic 54 (3-4):395-412.details
|
|
We prove covering theorems for K, where K is the core model below the sharp for a strong cardinal, and give an application to stationary set reflection.David Asperó, John Krueger & Yasuo Yoshinobu - 2010 - Annals of Pure and Applied Logic 161 (1):94-108.details
|
|
The distribution of ITRM-recognizable reals.Merlin Carl - 2014 - Annals of Pure and Applied Logic 165 (9):1403-1417.details
|
|
Chain conditions of products, and weakly compact cardinals.Assaf Rinot - 2014 - Bulletin of Symbolic Logic 20 (3):293-314,.details
|
|
Rado's Conjecture and Ascent Paths of Square Sequences.Stevo Todorčević & Víctor Torres Pérez - 2014 - Mathematical Logic Quarterly 60 (1-2):84-90.details
|
|
Recent Advances in Ordinal Analysis: Π 1 2 — CA and Related Systems. [REVIEW]Michael Rathjen - 1995 - Bulletin of Symbolic Logic 1 (4):468-485.details
|
|
Recent Advances in Ordinal Analysis: Π 1 2 — CA and Related Systems. [REVIEW]Michael Rathjen - 1995 - Bulletin of Symbolic Logic 1 (4):468-485.details
|
|
Some observations on truth hierarchies.P. D. Welch - 2014 - Review of Symbolic Logic 7 (1):1-30.details
|
|
x1. Introduction. In 1938, K. Gödel defined the model L of set theory to show the relative consistency of Cantor's Continuum Hypothesis. L is defined as a union L=. [REVIEW]Sy D. Friedman & Peter Koepke - 1997 - Bulletin of Symbolic Logic 3 (4):453-468.details
|
|
Gaps in the contructable universe.W. Marek & M. Srebrny - 1974 - Annals of Mathematical Logic 6 (3-4):359-394.details
|
|
Some consequences of the Morass and diamond.Joseph R. Rebholz - 1975 - Annals of Mathematical Logic 7 (4):361-385.details
|
|
A new class of order types.James E. Baumgartner - 1976 - Annals of Mathematical Logic 9 (3):187-222.details
|
|
Almost-disjoint sets the dense set problem and the partition calculus.James E. Baumgartner - 1976 - Annals of Mathematical Logic 9 (4):401-439.details
|
|
Hyperhypersimple α-r.e. sets.C. T. Chong & M. Lerman - 1976 - Annals of Mathematical Logic 9 (1-2):1-48.details
|
|
A degree-theoretic definition of the ramified analytical hierarchy.Carl G. Jockusch & Stephen G. Simpson - 1976 - Annals of Mathematical Logic 10 (1):1-32.details
|
|
On κ-like structures which embed stationary and closed unbounded subsets.James H. Schmerl - 1976 - Annals of Mathematical Logic 10 (3-4):289-314.details
|
|
The core model.A. Dodd & R. Jensen - 1981 - Annals of Mathematical Logic 20 (1):43-75.details
|
|
Reflection and partition properties of admissible ordinals.Evangelos Kranakis - 1982 - Annals of Mathematical Logic 22 (3):213-242.details
|
|
Separating weak partial square principles.John Krueger & Ernest Schimmerling - 2014 - Annals of Pure and Applied Logic 165 (2):609-619.details
|
|
Local coherence.Bernhard König - 2003 - Annals of Pure and Applied Logic 124 (1-3):107-139.details
|
|
Strong coding.Sy D. Friedman - 1987 - Annals of Pure and Applied Logic 35 (C):1-98.details
|
|
Is there a set of reals not in K(R)?Daniel W. Cunningham - 1998 - Annals of Pure and Applied Logic 92 (2):161-210.details
|
|
A simpler proof of Jensen's coding theorem.Sy D. Friedman - 1994 - Annals of Pure and Applied Logic 70 (1):1-16.details
|
|
Characterizing weak compactness.Lee J. Stanley - 1984 - Annals of Pure and Applied Logic 26 (1):89-99.details
|
|
Souslin trees and successors of singular cardinals.Shai Ben-David & Saharon Shelah - 1986 - Annals of Pure and Applied Logic 30 (3):207-217.details
|
|
Minimal Coding.Sy D. Friedman - 1989 - Annals of Pure and Applied Logic 41 (3):233-297.details
|
|
Countably decomposable admissible sets.Menachem Magidor, Saharon Shelah & Jonathan Stavi - 1984 - Annals of Pure and Applied Logic 26 (3):287-361.details
|
|