I agree that this site is using cookies. You can find further informations here.
X
HOFFELNER, STEFAN
20  results:
Search for persons X
?
1

Forcing axioms and the uniformization-property:

Hoffelner, Stefan
Annals of Pure and Applied Logic.  175 (2024)  10 - p. 103466 , 2024
Link: https://doi.org/10.1016/..
 
?
2

FORCING AXIOMS AND THE DEFINABILITY OF THE NONSTATIONARY ID..:

HOFFELNER, STEFAN ; LARSON, PAUL ; SCHINDLER, RALF.
The Journal of Symbolic Logic.  , 2023
Link: https://doi.org/10.1017/..
 
?
3

Forcing the Π31-reduction property and a failure of Π31-uni..:

Hoffelner, Stefan
Annals of Pure and Applied Logic.  174 (2023)  8 - p. 103292 , 2023
Link: https://doi.org/10.1016/..
 
?
4

NS SATURATED AND -DEFINABLE:

HOFFELNER, STEFAN
The Journal of Symbolic Logic.  86 (2021)  1 - p. 25-59 , 2021
Link: https://doi.org/10.1017/..
 
?
5

AWELLORDER OF THE REALS WITHSATURATED:

FRIEDMAN, SY-DAVID ; HOFFELNER, STEFAN
The Journal of Symbolic Logic.  84 (2019)  4 - p. 1466-1483 , 2019
Link: https://doi.org/10.1017/..
 
?
6

A∑ 4 1 WELLORDER OF THE REALS WITHNS ω 1SATURATE:

FRIEDMAN, SY-DAVID ; HOFFELNER, STEFAN
The Journal of Symbolic Logic.  84 (2019)  4 - p. 1466-1483 , 2019
Link: https://www.jstor.org/st..
 
?
7

A Failure of $\Pi^1_{n+3}$-Reduction in the Presence of $\S..:

Hoffelner, Stefan
http://arxiv.org/abs/2312.02540.  , 2023
Link: http://arxiv.org/abs/231..
 
?
8

PFA and the definability of the nonstationary ideal:

Hoffelner, Stefan ; Larson, Paul ; Schindler, Ralf.
http://arxiv.org/abs/2310.13784.  , 2023
Link: http://arxiv.org/abs/231..
 
?
9

Forcing Axioms and the Definabilty of the Nonstationary Ide..:

Hoffelner, Stefan ; Larson, Paul ; Schindler, Ralf.
http://arxiv.org/abs/2208.05288.  , 2022
Link: http://arxiv.org/abs/220..
 
?
10

Forcing the $\Pi^1_n$-Uniformization Property:

Hoffelner, Stefan
http://arxiv.org/abs/2103.11748.  , 2021
Link: http://arxiv.org/abs/210..
 
?
11

Forcing Axioms, the Uniformization and the Basis Property:

Hoffelner, Stefan
http://arxiv.org/abs/2001.07977.  , 2020
Link: http://arxiv.org/abs/200..
 
?
12

Forcing the $\Pi^1_3$-Reduction Property and a Failure of $..:

Hoffelner, Stefan
http://arxiv.org/abs/2009.02209.  , 2020
Link: http://arxiv.org/abs/200..
 
?
13

The Consistency of the $\bf{\Sigma^1_3}$-Separation Propert:

Hoffelner, Stefan
http://arxiv.org/abs/1912.11811.  , 2019
Link: http://arxiv.org/abs/191..
 
?
14

NS saturated and $\Delta_1$-definable:

Hoffelner, Stefan
http://arxiv.org/abs/1701.07230.  , 2017
Link: http://arxiv.org/abs/170..
 
?
15

A universe with no ordinal-definable, stationary, co-statio..:

Hoffelner, Stefan
http://arxiv.org/abs/1707.03620.  , 2017
Link: http://arxiv.org/abs/170..
 
1-15