CZF and Second Order Arithmetic
Logic
2015-10-05 v1
Authors:
Robert Lubarsky
Abstract
CZF + Separation is shown to be equiconsistent with second-order arithmetic, using realizability.
Cite
@article{arxiv.1510.00469,
title = {CZF and Second Order Arithmetic},
author = {Robert Lubarsky},
journal= {arXiv preprint arXiv:1510.00469},
year = {2015}
}
Related papers
View all related →
Logic · Mathematics
The first-order logic of CZF is intuitionistic first-order logic
Robert Passmann
2022-06-10
Mathematical Physics · Physics
Factorization method for second order functional equations
Tomasz Golinski, Anatol Odzijewicz
2010-09-01
Logic in Computer Science · Computer Science
Realizability algebras III: some examples
Jean-Louis Krivine
2018-03-20
Logic · Mathematics
Separating Models by Formulas and the Number of Countable Models
Mohammad Assem
2012-11-28
Optimization and Control · Mathematics
Second-order sufficient optimality conditions in the calculus of variations
William W. Hager
2025-02-25
Logic · Mathematics
PCF arithmetic without and with choice
Saharon Shelah
2010-03-03
Logic · Mathematics
Arithmetic, Infinite Trees, and Second-order Subsystems: Notes and Observations
David M. Cerna
2018-01-04
Classical Analysis and ODEs · Mathematics
Equivalence and integrability of second order linear ODEs
Ivan Tsyfra, Tomasz Czyzycki
2010-01-19
Logic in Computer Science · Computer Science
An interpretation of system F through bar recursion
Valentin Blot
2018-04-04
Logic · Mathematics
The Theory of Ceers Computes True Arithmetic
Uri Andrews, Noah Schweber, Andrea Sorbi
2020-02-25
Logic · Mathematics
Aspects of Predicative Algebraic Set Theory II: Realizability
Benno van den Berg, Ieke Moerdijk
2008-01-16
Logic in Computer Science · Computer Science
Separation and Definability in Fragments of Two-Variable First-Order Logic with Counting
Louwe Kuijer, Tony Tan, Frank Wolter, Michael Zakharyaschev
2025-08-18
General Mathematics · Mathematics
On the matrix form of second-order linear difference equations
M. I. Ayzatsky
2017-03-29
Commutative Algebra · Mathematics
Solving Third Order Linear Difference Equations in Terms of Second Order Equations
Heba Bou KaedBey, Mark van Hoeij, Man Cheung Tsui
2024-06-12
Mathematical Physics · Physics
Number-theoretic expressions obtained through analogy between prime factorization and optical interferometry
Gabriel Seiden
2014-02-12
Classical Analysis and ODEs · Mathematics
Approximation of fractional integrals by means of derivatives
Shakoor Pooseh, Ricardo Almeida, Delfim F. M. Torres
2012-10-29
Numerical Analysis · Mathematics
A Class of Second Order Difference Approximation for Solving Space Fractional Diffusion Equations
WenYi Tian, Han Zhou, Weihua Deng
2015-04-27
Logic · Mathematics
Splitting, Bounding, and Almost Disjointness can be quite Different
Vera Fischer, Diego A. Mejía
2019-08-15
Logic · Mathematics
Splitting number
Tomek Bartoszynski
2007-05-23
Logic · Mathematics
Constructive Ackermann's interpretation
Hanul Jeon
2022-01-13
Complex Variables · Mathematics
On Zeros and Growth of Solutions of Second Order Linear Differential Equations
Manisha Saini, Sanjay Kumar
2020-07-29
Logic · Mathematics
Computable Categoricity for Algebraic Fields with Splitting Algorithms
Russell Miller, Alexandra Shlapentokh
2018-02-12
Exactly Solvable and Integrable Systems · Physics
Symmetry, Equivalence and Integrable Classes of Abel Equations
Vyacheslav M. Boyko
2007-05-23
Number Theory · Mathematics
Some conjectural continued fractions
Thomas Baruchel
2017-04-14
Complex Variables · Mathematics
Derivatives of meromorphic functions of finite order
J. K. Langley
2013-06-20