Author of the publication

Changing the heights of automorphism towers by forcing with Souslin trees over L.

, and . J. Symb. Log., 73 (2): 614-633 (2008)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Univ. -Prof. Dr. David Remy University of Stuttgart

Periodic Trajectories of Passive One-Legged Hopper, and . Dataset, (2024)Related to: M. Raff, N. Rosa and C. D. Remy, "Connecting Gaits in Energetically Conservative Legged Systems," in IEEE Robotics and Automation Letters, vol. 7, no. 3, pp. 8407-8414, July 2022,. doi: 10.1109/LRA.2022.3186500.
 

Other publications of authors with the same name

Unfoldable Cardinals and The GCH.. J. Symb. Log., 66 (3): 1186-1198 (2001)Indestructible Strong Unfoldability., and . Notre Dame Journal of Formal Logic, 51 (3): 291-321 (2010)The Halting Problem Is Decidable on a Set of Asymptotic Probability One., and . Notre Dame Journal of Formal Logic, 47 (4): 515-524 (2006)Infinite Time Decidable Equivalence Relation Theory., and . Notre Dame Journal of Formal Logic, 52 (2): 203-228 (2011)Superstrong and other large cardinals are never Laver indestructible., , , and . Arch. Math. Log., 55 (1-2): 19-35 (2016)Diamond (on the regulars) can fail at any strongly unfoldable cardinal., and . Ann. Pure Appl. Logic, 144 (1-3): 83-95 (2006)Indestructible Weakly Compact Cardinals and the Necessity of Supercompactness for Certain Proof Schemata., and . Math. Log. Q., 47 (4): 563-571 (2001)Infinite Hex is a draw., and . CoRR, (2022)Infinite Time Turing Machines With Only One Tape., and . Math. Log. Q., 47 (2): 271-287 (2001)Supertask computation.. FotFS, volume 23 of Trends in Logic, page 141-158. Springer, (2001)