Caleb Camrud

According to our database, Caleb Camrud authored at least 7 papers between 2019 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2024

Hyperarithmetic Numerals.

Caleb Camrud, Timothy H. McNicholl

Proceedings of the Twenty Years of Theoretical and Practical Synergies, 2024

2023

On the complexity of the theory of a computably presented metric structure.

Caleb Camrud, Isaac Goldbring, Timothy H. McNicholl

Arch. Math. Log., November, 2023

Continuous Accessibility Modal Logics.

Caleb Camrud, Ranpal Dosanjh

J. Philos. Log., February, 2023

Generalized effective completeness for continuous logic.

Caleb Camrud

J. Log. Anal., 2023

2022

Computable structure theory of continuous logic.

Caleb Camrud

PhD thesis, 2022

2020

A Note on FDE "All the Way Up".

J. C. Beall, Caleb Camrud

Notre Dame J. Formal Log., 2020

2019

Stability of the Kaczmarz Reconstruction for Stationary Sequences.

Caleb Camrud, Evan Camrud, Lee Przybylski, Eric S. Weber

CoRR, 2019