Menachem Magidor - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 55 from 55

2024

Games with filters IMatthew Foreman 0001, Menachem Magidor, Martin Zeman. jml, 24(3), December 2024. [doi]

2022

Forcing axioms and the Galvin numberShimon Garti, Yair Hayut, Haim Horowitz, Menachem Magidor. pmh, 84(2):250-258, 2022. [doi]

Identity Crisis between supercompactness and VǒPenka's PrincipleYair Hayut, Menachem Magidor, Alejandro Poveda. JSYML, 87(2):626-648, 2022. [doi]

Subcompact Cardinals, Type Omission, and ladder SystemsYair Hayut, Menachem Magidor. JSYML, 87(3):1111-1129, 2022. [doi]

2021

The Tree Property at the two Immediate Successors of a singular cardinalJames Cummings 0001, Yair Hayut, Menachem Magidor, Itay Neeman, Dima Sinapova, Spencer Unger. JSYML, 86(2):600-608, 2021. [doi]

Corson reflectionsIlijas Farah, Menachem Magidor. APAL, 172(5):102908, 2021. [doi]

Inner models from extended logics: Part 1Juliette Kennedy, Menachem Magidor, Jouko Väänänen. jml, 21(2), 2021. [doi]

2020

The consistency strength of hyperstationarityJoan Bagaria, Menachem Magidor, Salvador Mancilla. jml, 20(1):2050004, 2020. [doi]

Infinite Monochromatic Paths and a Theorem of Erdős-Hajnal-RadoShimon Garti, Menachem Magidor, Saharon Shelah. combinatorics, 27(2):2, 2020. [doi]

2019

DESTRUCTIBILITY OF THE TREE PROPERTY AT ${\aleph _{\omega + 1}}$Yair Hayut, Menachem Magidor. JSYML, 84(2):621-631, 2019. [doi]

2018

The eightfold WayJames Cummings, Sy-David Friedman, Menachem Magidor, Assaf Rinot. JSYML, 83(1):349-371, 2018. [doi]

Omitting types in logic of metric structuresIlijas Farah, Menachem Magidor. jml, 18(2):1850006, 2018. [doi]

On the Spectrum of Characters of UltrafiltersShimon Garti, Menachem Magidor, Saharon Shelah. ndjfl, 59(3):371-379, 2018. [doi]

2017

Reflection of stationary Sets and the Tree Property at the Successor of a singular cardinalLaura Fontanella, Menachem Magidor. JSYML, 82(1):272-291, 2017. [doi]

2016

SPFA by finite conditionsMoti Gitik, Menachem Magidor. AML, 55(5-6):649-661, 2016. [doi]

2014

ON ${\omega _1}$-STRONGLY COMPACT CARDINALSJoan Bagaria, Menachem Magidor. JSYML, 79(1):266-278, 2014. [doi]

On supercompactness and the continuum functionBrent Cody, Menachem Magidor. APAL, 165(2):620-630, 2014. [doi]

2011

On löWenheim-Skolem-Tarski numbers for Extensions of First order LogicMenachem Magidor, Jouko Väänänen. jml, 11(1), 2011. [doi]

2009

The number of normal measuresSy-David Friedman, Menachem Magidor. JSYML, 74(3):1069-1080, 2009. [doi]

2008

On Partially Wellfounded Generic UltrapowersMoti Gitik, Menachem Magidor. birthday 2008: 342-350 [doi]

2006

Canonical structure in the universe of set theory: part twoJames Cummings, Matthew Foreman, Menachem Magidor. APAL, 142(1-3):55-75, 2006. [doi]

2004

Canonical structure in the universe of set theory: part oneJames Cummings, Matthew Foreman, Menachem Magidor. APAL, 129(1-3):211-243, 2004. [doi]

2003

The non-compactness of squareJames Cummings, Matthew Foreman, Menachem Magidor. JSYML, 68(2):637-643, 2003.

2001

Squares, scales and stationary ReflectionJames Cummings 0001, Matthew Foreman 0001, Menachem Magidor. jml, 1(1), 2001. [doi]

The Consistency Strength of Successive Cardinals with The Tree PropertyMatthew Foreman, Menachem Magidor, Ralf-Dieter Schindler. JSYML, 66(4):1837-1847, 2001.

Distance Semantics for Belief RevisionDaniel J. Lehmann, Menachem Magidor, Karl Schlechta. JSYML, 66(1):295-317, 2001.

1999

The Independence of delta:::1:::::n::Amir Leshem, Menachem Magidor. JSYML, 64(1):350-362, 1999.

Correspondence Polymorphism for Object-Oriented LanguagesRan Rinat, Menachem Magidor, Scott F. Smith. OOPSLA 1999: 167-186 [doi]

1997

A Very Weak Square PrincipleMatthew Foreman, Menachem Magidor. JSYML, 62(1):175-196, 1997.

1996

A Temporal Logic for Proving Properties of Topologically General ExecutionsRachel Ben-Eliyahu, Menachem Magidor. iandc, 124(2):127-144, 1996.

The tree property at successors of singular cardinalsMenachem Magidor, Saharon Shelah. AML, 35(5-6):385-404, 1996. [doi]

Metaphoric Polymorphism: Taking Code Reuse One Step FurtherRan Rinat, Menachem Magidor. ECOOP 1996: 449-471 [doi]

Distance Semantics for Belief RevisionKarl Schlechta, Daniel J. Lehmann, Menachem Magidor. tark 1996: 137-145

1995

Instances of Dependent Choice and the Measurability of aleph::omega + 1::Arthur W. Apter, Menachem Magidor. APAL, 74(3):203-219, 1995.

Large Cardinals and Definable Counterexamples to the Continuum HypothesisMatthew Foreman, Menachem Magidor. APAL, 76(1):47-97, 1995.

1994

On the Mutual-Exclusion Problem - A Quest for Minimal SolutionsUri Abraham, Menachem Magidor. TCS, 129(1):1-38, 1994.

Extender Based ForcingsMoti Gitik, Menachem Magidor. JSYML, 59(2):445-460, 1994.

1992

On the strength of König s duality theorem for infinite bipartite graphsRon Aharoni, Menachem Magidor, Richard A. Shore. JCT, 54(2):257-290, 1992. [doi]

What does a Conditional Knowledge Base Entail?Daniel J. Lehmann, Menachem Magidor. ai, 55(1):1-60, 1992.

1990

Shelah s pcf Theory and Its ApplicationsMaxim R. Burke, Menachem Magidor. APAL, 50(3):207-254, 1990.

Nonmonotonic Reasoning, Preferential Models and Cumulative LogicsSarit Kraus, Daniel J. Lehmann, Menachem Magidor. ai, 44(1-2):167-207, 1990.

Preferential Logics: the Predicate Calculus CaseDaniel J. Lehmann, Menachem Magidor. tark 1990: 57-72

Some Highly Undecidable LatticesMenachem Magidor, John W. Rosenthal, Mattiyahu Rubin, Gabriel Srour. APAL, 46(1):41-63, 1990.

1986

The Weak is Really Weaker than the FullShai Ben-David, Menachem Magidor. JSYML, 51(4):1029-1033, 1986.

0 :::#::: and Some Forcing PrinciplesMatthew Foreman, Menachem Magidor, Saharon Shelah. JSYML, 51(1):39-46, 1986.

1985

Two Weak Consequences of 0:::#:::Moti Gitik, Menachem Magidor, W. Hugh Woodin. JSYML, 50(3):597-603, 1985.

1984

Countably decomposable admissible setsMenachem Magidor, Saharon Shelah, Jonathan Stavi. APAL, 26(3):287-361, 1984. [doi]

1983

The Monadic Theory of omega:::1:::::2::Yuri Gurevich, Menachem Magidor, Saharon Shelah. JSYML, 48(2):387-398, 1983.

On the Standard Part of Nonstandard Models of Set TheoryMenachem Magidor, Saharon Shelah, Jonathan Stavi. JSYML, 48(1):33-38, 1983.

1982

Reflecting Stationary SetsMenachem Magidor. JSYML, 47(4):755-771, 1982.

1980

Precipitous IdealsThomas Jech, Menachem Magidor, William John Mitchell, Karel Prikry. JSYML, 45(1):1-8, 1980.

1978

An Ideal GameFred Galvin, Thomas Jech, Menachem Magidor. JSYML, 43(2):284-292, 1978.

1977

Chang s Conjecture and Powers of Singular CardinalsMenachem Magidor. JSYML, 42(2):272-276, 1977.

Compactness and Transfer for a Fragment of L:::2:::Menachem Magidor, Jerome I. Malitz. JSYML, 42(2):261-268, 1977.

1972

על קרדינלים סופר קומפקטיים (On supercompact cardinals.)Menachem Magidor. PhD thesis, Hebrew University of Jerusalem, Israel, 1972. [doi]

Sign in or sign up to see more results.

runs on WebDSL