Sy-David Friedman

发表

Easton's theorem and large cardinals

Sy-David Friedman, Radek Honzik, 2008, Ann. Pure Appl. Log..

Genericity and Large Cardinals

Sy-David Friedman, 2005, J. Math. Log..

BPFA and Inner Models( Mathematical Logic and Its Applications)

Sy-David Friedman, S. Friedman, 2011 .

Projective mad families

Sy-David Friedman, Lyubomyr Zdomskyy, 2010, Ann. Pure Appl. Log..

A guide to "strong coding"

Sy-David Friedman, 1987, Ann. Pure Appl. Log..

Projective maximal families of orthogonal measures with large continuum

Sy-David Friedman, Vera Fischer, Asger Törnquist, 2012, J. Log. Anal..

Large cardinals and definable well-orders, without the GCH

Philipp Lücke, Sy-David Friedman, 2015, Ann. Pure Appl. Log..

An elementary approach to the fine structure of L

Sy-David Friedman, Peter Koepke, 1997, Bull. Symb. Log..

The effective theory of Borel equivalence relations

Sy-David Friedman, Ekaterina B. Fokina, Asger Törnquist, 2009, Ann. Pure Appl. Log..

Evidence for Set-theoretic Truth and the Hyperuniverse Programme

Sy-David Friedman, S. Friedman, 2016, FLAP.

A Guide to "Coding the Universe" by Beller, Jensen, Welch

Sy-David Friedman, 1985, J. Symb. Log..

An inner model for global domination

Katherine Thompson, Sy-David Friedman, 2009, J. Symb. Log..

Internal consistency and global co-stationarity of the ground model

Sy-David Friedman, Natasha Dobrinen, 2008, J. Symb. Log..

Maximality and ontology: how axiom content varies across philosophical frameworks

Sy-David Friedman, Neil Barton, S. Friedman, 2017, Synthese.

The Nonabsoluteness of Model Existence in Uncountable Cardinals for Lω1,ω

Sy-David Friedman, Tapani Hyttinen, Martin Koerwien, 2013, Notre Dame J. Formal Log..

The Hyperuniverse Project and Maximality

Sy-David Friedman, Radek Honzik, Carolin Antos, 2018 .

Classes of structures with universe a subset of ω1

Julia F. Knight, Sy-David Friedman, Ekaterina B. Fokina, 2013, J. Log. Comput..

The stable core

Sy-David Friedman, 2012, Bull. Symb. Log..

Killing The GCH Everywhere with a Single Real

Sy-David Friedman, Mohammad Golshani, M. Golshani, 2013, The Journal of Symbolic Logic.

Sets and Computations

Sy-David Friedman, Yue Yang, Dilip Raghavan, 2017 .

COHERENT SYSTEMS OF FINITE SUPPORT ITERATIONS

Sy-David Friedman, Vera Fischer, Diego Alejandro Mejía, 2016, The Journal of Symbolic Logic.

Homogeneous iteration and measure one covering relative to HOD

Sy-David Friedman, Natasha Dobrinen, 2008, Arch. Math. Log..

Definable normal measures

Sy-David Friedman, Liuzhen Wu, 2015, Ann. Pure Appl. Log..

Equivalence Relations on Classes of Computable Structures

Sy-David Friedman, Ekaterina B. Fokina, 2009, CiE.

Jensen's Sigma* Theory and the Combinatorial Content of V=L

Sy-David Friedman, 1994, J. Symb. Log..

The tree property at the א2n's and the failure of SCH at אω

Sy-David Friedman, Radek Honzik, 2015, Ann. Pure Appl. Log..

Perfect trees and elementary embeddings

Katherine Thompson, Sy-David Friedman, 2008, J. Symb. Log..

The internal consistency of Easton's theorem

Sy-David Friedman, Pavel Ondrejovic, 2008, Ann. Pure Appl. Log..

The completeness of isomorphism

Sy-David Friedman, 2014, Logic, Computation, Hierarchies.

Potential isomorphism of elementary substructures of a strictly stable homogeneous model

Sy-David Friedman, Tapani Hyttinen, Agatha Walczak-Typke, 2011, J. Symb. Log..

Equivalence Relations That Are Σ03 Complete for Computable Reducibility - (Extended Abstract)

André Nies, Sy-David Friedman, Ekaterina B. Fokina, 2012, WoLLIC.

On Absoluteness of Categoricity in Abstract Elementary Classes

Sy-David Friedman, Martin Koerwien, S. Friedman, 2011, Notre Dame J. Formal Log..

HC of an Admissible Set

Sy-David Friedman, 1979, J. Symb. Log..

Annual Meeting of the Association for Symbolic Logic

George Boolos, Sy-David Friedman, G. Boolos, 1984, Journal of Symbolic Logic.

The tree property at ℵω+2

Sy-David Friedman, Ajdin Halilovic, 2011, J. Symb. Log..

Coding without Fine Structure

Sy-David Friedman, 1997, J. Symb. Log..

On strong forms of reflection in set theory

Sy-David Friedman, Radek Honzik, 2016, Math. Log. Q..

On Σ11 equivalence relations over the natural numbers

Sy-David Friedman, Ekaterina B. Fokina, 2012, Math. Log. Q..

0# and Inner Models

Sy-David Friedman, 2002, J. Symb. Log..

Meeting of the Association for Symbolic Logic, New York, 1979

George Boolos, Harold T. Hodes, Sy-David Friedman, 1981, Journal of Symbolic Logic.

On the Singular Cardinals

James Cummings, Sy-David Friedman, 2008, J. Symb. Log..

Minimal Coding

Sy-David Friedman, 1989, Ann. Pure Appl. Log..

Internal Consistency and the Inner Model Hypothesis

Sy-David Friedman, 2006, Bull. Symb. Log..

Fusion and large cardinal preservation

Sy-David Friedman, Radek Honzik, Lyubomyr Zdomskyy, 2013, Ann. Pure Appl. Log..

Hyperclass forcing in Morse-Kelley class Theory

Sy-David Friedman, Carolin Antos, 2017, J. Symb. Log..

A model of second-order arithmetic satisfying AC but not DC

Sy-David Friedman, Vladimir Kanovei, Victoria Gitman, 2019, J. Math. Log..

Rank-into-rank hypotheses and the failure of GCH

Sy-David Friedman, Vincenzo Dimonte, S. Friedman, 2014, Archive for Mathematical Logic.

Introduction to special issue on the foundations of mathematics

Sy-David Friedman, Neil Barton, Carolin Antos, 2020 .

Failures of the Silver Dichotomy in the generalized Baire Space

Sy-David Friedman, Vadim Kulikov, 2015, J. Symb. Log..

BPFA and projective well-orderings of the reals

Sy-David Friedman, Andrés Eduardo Caicedo, 2011, J. Symb. Log..

Cardinal characteristics, projective wellorders and large continuum

Sy-David Friedman, Lyubomyr Zdomskyy, Vera Fischer, 2013, Ann. Pure Appl. Log..

Multiverse conceptions in set theory

Sy-David Friedman, Radek Honzik, Carolin Antos, 2015, Synthese.

Co-stationarity of the ground model

Sy-David Friedman, Natasha Dobrinen, 2006, J. Symb. Log..

Measure, category and projective wellorders

Sy-David Friedman, Vera Fischer, Yurii Khomskii, 2014, J. Log. Anal..

The Genericity Conjecture

Sy-David Friedman, 1994, J. Symb. Log..

Some recent developments in higher recursion theory

Sy-David Friedman, S. Friedman, 1983, Journal of Symbolic Logic.

Internal consistency for embedding complexity

Katherine Thompson, Sy-David Friedman, 2008, J. Symb. Log..

Classification theory and 0#

Sy-David Friedman, Tapani Hyttinen, Mika Rautila, 2003, J. Symb. Log..

THE EIGHTFOLD WAY

James Cummings, Sy-David Friedman, Menachem Magidor, 2018, The Journal of Symbolic Logic.

Baumgartner's conjecture and bounded forcing axioms

David Asperó, Marcin Sabok, Sy-David Friedman, 2013, Ann. Pure Appl. Log..

Independence of higher Kurepa hypotheses

Sy-David Friedman, Mohammad Golshani, 2012, Arch. Math. Log..

Cardinal-preserving extensions

Sy-David Friedman, 2003, Journal of Symbolic Logic.

Generic absoluteness

Sy-David Friedman, Joan Bagaria, 2001, Ann. Pure Appl. Log..

On Borel equivalence relations in generalized Baire space

Sy-David Friedman, Tapani Hyttinen, S. Friedman, 2012, Archive for Mathematical Logic.

Isomorphism on HYP

Sy-David Friedman, 2016, J. Symb. Log..

Cichoń’s diagram, regularity properties and $${\varvec{\Delta}^1_3}$$Δ31 sets of reals

Sy-David Friedman, Vera Fischer, Yurii Khomskii, 2014, Arch. Math. Log..

Easton's theorem and large cardinals from the optimal hypothesis

Sy-David Friedman, Radek Honzik, 2012, Ann. Pure Appl. Log..

Generic Sigma13 absoluteness

Sy-David Friedman, S. Friedman, 2004, J. Symb. Log..

Universally Baire sets and definable well-orderings of the reals

Ralf Schindler, Sy-David Friedman, 2003, J. Symb. Log..

Generic Saturation

Sy-David Friedman, 1998, J. Symb. Log..

Cardinal characteristics at κ in a small u(κ) model

Sy-David Friedman, Vera Fischer, Andrew D. Brooke-Taylor, 2015, Ann. Pure Appl. Log..

Large cardinals need not be large in HOD

Joel David Hamkins, Yong Cheng, Sy-David Friedman, 2015, Ann. Pure Appl. Log..

Hyperfine structure theory and gap 1 morasses

Sy-David Friedman, Peter Koepke, Boris Piwinger, 2006, Journal of Symbolic Logic.

Cardinal characteristics and projective wellorders

Sy-David Friedman, Vera Fischer, 2010, Ann. Pure Appl. Log..

Provable recursiveness and complexity

Matthias Baaz, Sy-David Friedman, Jan Krajíček, 2016 .

Strong isomorphism reductions in complexity theory

Yijia Chen, Jörg Flum, Samuel R. Buss, 2011, J. Symb. Log..

A ${\rm{\Sigma }}_4^1 $ WELLORDER OF THE REALS WITH ${\rm{NS}}_{\omega _1 } $ SATURATED

Sy-David Friedman, Stefan Hoffelner, S. Friedman, 2019, The Journal of Symbolic Logic.

Large cardinals and gap-1 morasses

Sy-David Friedman, Andrew D. Brooke-Taylor, 2009, Ann. Pure Appl. Log..

Regularity properties on the generalized reals

Sy-David Friedman, Yurii Khomskii, Vadim Kulikov, 2016, Ann. Pure Appl. Log..

Introduction

Sy-David Friedman, Neil Barton, Carolin Antos, 2019, Synthese.

Foundational implications of the Inner Model Hypothesis

Sy-David Friedman, Tatiana Arrigoni, S. Friedman, 2012, Ann. Pure Appl. Log..

Strong coding

Sy-David Friedman, 1987, Ann. Pure Appl. Log..

Model theory for L∞ω1

Sy-David Friedman, S. Friedman, 1984, Ann. Pure Appl. Log..

Projective wellorders and mad families with large continuum

Sy-David Friedman, Lyubomyr Zdomskyy, Vera Fischer, 2011, Ann. Pure Appl. Log..

Large cardinals and $L$-like universes

Sy-David Friedman, 2005 .

Maximality Principles in the Hyperuniverse Programme

Sy-David Friedman, Claudio Ternullo, S. Friedman, 2020, Foundations of Science.

The model theory of compact complex spaces

Matthias Baaz, Sy-David Friedman, Jan Krajíček, 2016 .

Definable well-orders of H(ω2) and GCH

David Asperó, Sy-David Friedman, 2012, J. Symb. Log..

Definability of Satisfaction in outer Models

Sy-David Friedman, Radek Honzik, 2016, J. Symb. Log..

The number of normal measures

Sy-David Friedman, Menachem Magidor, S. Friedman, 2009, The Journal of Symbolic Logic.

Large Cardinals and Lightface Definable Well-Orders, without the GCH

Philipp Lücke, Sy-David Friedman, Peter Holy, 2015, J. Symb. Log..

Co-analytic mad families and definable wellorders

Sy-David Friedman, Vera Fischer, Yurii Khomskii, 2013, Arch. Math. Log..

Large cardinals and locally defined well-orders of the universe

David Asperó, Sy-David Friedman, 2009, Ann. Pure Appl. Log..

Set Theory and Structures

Sy-David Friedman, Neil Barton, 2019 .

Coding Over a Measurable Cardinal

Sy-David Friedman, 1989, J. Symb. Log..

On the consistency strength of the inner model hypothesis

Philip D. Welch, Sy-David Friedman, W. Hugh Woodin, 2008, J. Symb. Log..

Feasible set functions have small circuits

Samuel R. Buss, Neil Thapen, Sy-David Friedman, 2019, Comput..

Slow consistency

Michael Rathjen, Sy-David Friedman, Andreas Weiermann, 2013, Ann. Pure Appl. Log..

MUTUAL STATIONARITY IN THE CORE MODEL

Ralf Schindler, Matthias Baaz, Sy-David Friedman, 2005 .

Safe Recursive Set Functions

Samuel R. Buss, Sy-David Friedman, Arnold Beckmann, 2015, J. Symb. Log..

Collapsing the cardinals of HOD

James Cummings, Sy-David Friedman, Mohammad Golshani, 2015, J. Math. Log..

Isomorphism relations on computable structures

Julia F. Knight, Sy-David Friedman, Antonio Montalbán, 2012, J. Symb. Log..

A Simpler proof of Jensen's Coding Theorem

Sy-David Friedman, 1994, Ann. Pure Appl. Log..

Analytic equivalence relations and bi-embeddability

Sy-David Friedman, Luca Motto Ros, S. Friedman, 2011, The Journal of Symbolic Logic.

A null ideal for inaccessibles

Sy-David Friedman, Giorgio Laguzzi, 2017, Arch. Math. Log..

The hyperuniverse program

Sy-David Friedman, Tatiana Arrigoni, 2013, Bull. Symb. Log..

Cobham recursive set functions

Samuel R. Buss, Neil Thapen, Sy-David Friedman, 2016, Ann. Pure Appl. Log..

Fragments of Kripke–Platek set theory and the metamathematics of α\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\alp

Wei Li, Sy-David Friedman, Tin Lok Wong, 2016, Archive for Mathematical Logic.

Mutually embeddable models of ZFC

Sy-David Friedman, Monroe Eskew, Farmer Schlutzenberg, 2021, Ann. Pure Appl. Log..

Cichoń’s diagram for uncountable cardinals

Jörg Brendle, Sy-David Friedman, Diana Carolina Montoya, 2016, 1611.08140.

The consistency strength of the tree property at the double successor of a measurable cardina

Sy-David Friedman, Natasha Dobrinen, 2010 .

$\Delta _1$-Definability of the non-stationary ideal at successor cardinals

Sy-David Friedman, Lyubomyr Zdomskyy, Liuzhen Wu, 2015 .

The tree property at the double successor of a measurable cardinal $\kappa $ with $2^{\kappa} $ large

Sy-David Friedman, Ajdin Halilović, 2013 .

Two observations regarding infinite time Turing machines

Sy-David Friedman, S. Friedman, 2011 .

Explaining Maximality Through the Hyperuniverse Programme

Sy-David Friedman, Claudio Ternullo, 2018 .

Some natural equivalence relations in the Solovay model

Sy-David Friedman, Vladimir Kanovei, 2008 .

Cichoń's diagram, regularity properties and Δ 1 3 sets of reals.

Sy-David Friedman, Vera Fischer, Yurii Khomskii, 2014 .

UNIVERSISM AND EXTENSIONS OF V

Sy-David Friedman, Carolin Antos, Neil Barton, 2017, The Review of Symbolic Logic.

Three red herrings around Vaught’s conjecture

John T. Baldwin, Michael C. Laskowski, Sy-David Friedman, 2015 .

Forcing, Combinatorics and Definability

Sy-David Friedman, 2010 .

A definable failure of the singular cardinal hypothesis

Sy-David Friedman, Radek Honzik, S. Friedman, 2012 .

The Search for New Axioms in the Hyperuniverse Programme

Sy-David Friedman, Claudio Ternullo, 2016 .

Definability of Satisfaction in Outer Models

Sy-David Friedman, Radek Honzik, 2016 .

Consistency of the Silver dichotomy in generalised Baire space

Sy-David Friedman, 2014 .

Forcing, Combinatorics and Definability (Combinatorial set theory and forcing theory)

Sy-David Friedman, 2010 .

Forcing with Finite Conditions

Sy-David Friedman, 2006 .

Ordinal definable subsets of singular cardinals

James Cummings, Dima Sinapova, Sy-David Friedman, 2018, Israel Journal of Mathematics.

A quasi-lower bound on the consistency strength of PFA

Sy-David Friedman, Peter Holy, 2014 .

Thin stationary sets and disjoint club sequences

John Krueger, Sy-David Friedman, 2006 .

Supercompactness and failures of GCH

Sy-David Friedman, Radek Honzik, 2012 .

Subcompact cardinals, squares, and stationary reflection

Sy-David Friedman, Andrew D. Brooke-Taylor, 2011 .

Stable Axioms of Set Theory

Sy-David Friedman, 2006 .

Generalized Descriptive Set Theory and Classification Theory

Sy-David Friedman, Tapani Hyttinen, Vadim Kulikov, 2012, 1207.4311.

On Borel Reducibility in Generalised Baire Space

Sy-David Friedman, Tapani Hyttinen, Vadim Kulikov, 2014 .

“Natural” representations and extensions of Gödel's second theorem 350

Matthias Baaz, Sy-David Friedman, Jan Krajíček, 2016 .

Measurable cardinals and the cofinality of the symmetric group

Sy-David Friedman, Lyubomyr Zdomskyy, S. Friedman, 2010 .

Condensation and large cardinals

Sy-David Friedman, Peter Holy, S. Friedman, 2011 .

On Strong Forms of Reflection in Set Theory

Sy-David Friedman, Radek Honzik, 2018 .

Choice and uniformity in weak applicative theories

Matthias Baaz, Sy-David Friedman, Jan Krajíček, 2016 .