A note on parameter free N1-induction and restricted exponentiation
Andrés Cordón Franco , Alejandro Fernández Margarit , Francisco Félix Lara Martín
págs. 444-455
Superatomic Boolean algebras constructed from strongly unbounded functions
Juan Carlos Martínez, Lajos Soukup
págs. 456-469
Kolmogorov complexity and characteristic constants of formal theories of arithmetic
Shingo Ibuka, Masato Kikuchi, Hirotaka Kikyo
págs. 470-473
On a positive set theory with inequality
Giacomo Lenzi
págs. 474-480
Powers of positive elements in C*-algebras
Hiroki Takamura
págs. 481-484
A set of axioms for nonstandard extensions
Abhijit Dasgupta
págs. 485-493
Random variables and integral logic
Karim Khanaki, Seyed-Mohammad Bagheri
págs. 494-503
Rice and Rice-Shapiro Theorems for transfinite correction grammars
John Case, Sanjay Jain
págs. 504-516
Low sets without subsets of higher many-one degree
Patrizio Cintioli
págs. 517-523
Simulating non-prenex cuts in quantified propositional calculus
Emil Jerábek, Phuong Nguyen
págs. 524-532
© 2008-2024 Fundación Dialnet · Todos los derechos reservados