Victoria Gitman

20 papers Journal 20
YearRankTypeTitle / Venue / Authors
2025 J jnl
Upward Löwenheim-Skolem-Tarski numbers for abstract logics.
Ann. Pure Appl. Log.
Victoria Gitman, Jonathan Osinski
2023 J jnl
Structural Properties of the stable Core.
J. Symb. Log.
Sy-David Friedman, Victoria Gitman, Sandra Müller
2022 J jnl
Indestructibility properties of Ramsey and Ramsey-like cardinals.
Ann. Pure Appl. Log.
Victoria Gitman, Thomas A. Johnstone
2021 J jnl
Forcing a □(
Ann. Pure Appl. Log.
Brent Cody, Victoria Gitman, Chris Lambie-Hanson
2020 J jnl
The exact strength of the class forcing Theorem.
J. Symb. Log.
Victoria Gitman, Joel David Hamkins, Peter Holy, Philipp Schlicht, Kameryn J. Williams
2019 J jnl
A model of second-order arithmetic satisfying AC but not DC.
J. Math. Log.
Sy-David Friedman, Victoria Gitman, Vladimir Kanovei
2019 J jnl
A model of the generic Vopěnka principle in which the ordinals are not Mahlo.
Arch. Math. Log.
Victoria Gitman, Joel David Hamkins
2018 J jnl
Ehrenfeucht's Lemma in Set Theory.
Notre Dame J. Formal Log.
Gunter Fuchs, Victoria Gitman, Joel David Hamkins
2018 J jnl
Virtual large cardinals.
Ann. Pure Appl. Log.
Victoria Gitman, Ralf Schindler
2017 J jnl
Generic Vopěnka's Principle, remarkable cardinals, and the weak Proper Forcing Axiom.
Arch. Math. Log.
Joan Bagaria, Victoria Gitman, Ralf Schindler
2017 J jnl
Incomparable ω
Math. Log. Q.
Gunter Fuchs, Victoria Gitman, Joel David Hamkins
2016 J jnl
What is the theory without power set?
Math. Log. Q.
Victoria Gitman, Joel David Hamkins, Thomas A. Johnstone
2015 J jnl
Easton's theorem for Ramsey and strongly Ramsey cardinals.
Ann. Pure Appl. Log.
Brent Cody, Victoria Gitman
2015 J jnl
Indestructibility properties of remarkable cardinals.
Arch. Math. Log.
Yong Cheng, Victoria Gitman
2012 J jnl
Inner models with large cardinal features usually obtained by forcing.
Arch. Math. Log.
Arthur W. Apter, Victoria Gitman, Joel David Hamkins
2011 J jnl
Ramsey-like cardinals II.
J. Symb. Log.
Victoria Gitman, Philip D. Welch
2011 J jnl
Ramsey-like cardinals.
J. Symb. Log.
Victoria Gitman
2010 J jnl
A Natural Model of the Multiverse Axioms.
Notre Dame J. Formal Log.
Victoria Gitman, Joel David Hamkins
2009 J jnl
Proper and piecewise proper families of reals.
Math. Log. Q.
Victoria Gitman
2008 J jnl
Scott's problem for Proper Scott sets.
J. Symb. Log.
Victoria Gitman
redb/extractors/js_extractors/scripts/package.json
← Index redb/extractors/js_extractors/scripts/package.json json 
{
  "name": "redb-js-xray-runner",
  "private": true,
  "description": "Node bridge that runs @nodesecure/js-x-ray for the Python JS pipeline. Run `npm install` here once, then point JS_XRAY_RUNNER_PATH at js-xray-runner.js (it defaults to this directory).",
  "version": "0.1.0",
  "main": "js-xray-runner.js",
  "scripts": {
    "postinstall": "patch-package"
  },
  "dependencies": {
    "@nodesecure/js-x-ray": "^7.0.0",
    "patch-package": "^8.0.1"
  }
}